"L""x" has μ-measure zero; every subset of "L""x" is a μ-null set; since the Lebesgue measure space is a complete measure space,

While true, this is somewhat unsatisfying.It would be nice to say that μ "restricted to" "L""x" is the one-dimensional Lebesgue measure λ1, rather than the zero measure.