Assertion: set | /r/HasAspect | well-defined lebesgue measure
Facets:
Source sentences:
text: Any set which has a well-defined Lebesgue measure is said to be "measurable", but the construction of the Lebesgue measure (for instance using Carathéodory's extension theorem) does not make it obvious whether non-measurable sets exist.