Assertion: analytic set | /r/HasAspect | the baire property
Facets:
Source sentences:
text: ZFC proves that every analytic set, and therefore every co-analytic set, is Lebesgue measurable and has the Baire property.
text: ZFC proves that every analytic set, and therefore every co-analytic set, is Lebesgue measurable and has the Baire property.