Assertion: set | /r/PartOf | s 2 x
Facets:
Source sentences:
text: Then {}, the set whose only element is the empty set, will belong to S 2 X; this is the von Neumann ordinal .