Assertion: set | /r/HasProperty | the von neumann ordinal
Facets:
Source sentences:
text: The empty set is the von Neumann ordinal .