Assertion: constructible set | /r/HasProperty | definable
Facets:
value: from the ordinals
type: OTHER
Source sentences:
text: Constructible sets are definable from the ordinals [ edit ]