Assertion: set | /r/HasProperty | constructible
Facets:
value: in l
type: LOCATION
Source sentences:
text: The "axiom of constructibility", aka " V = L ", says that every set (of V ) is constructible, i.e. in L .
text: The set {5, ω } is constructible.