. "Thus we see that has Lebesgue measure one. (Another way of seeing this is recalling that -dimensional Lebesgue measure in is the same thing as -dimensional Hausdorff measure on , and that 0-dimensional Hausdorff measure is counting measure.) In particular, if is a function, the empty integral" . . .