Assertion: analytic set | /r/HasProperty | measurable
Facets:
value: lebesgue
type: OTHER
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.