Assertion: set | /r/HasAspect | those regularity properties
Facets:
Source sentences:
text: For example, in \(L\) there is a \(\mathbf{\Sigma}^1_2\) set that is not Lebesgue measurable and does not have the Baire property, whereas if Martin’s axiom holds (see Section 11), every such set has those regularity properties.