Assertion: set's number | /r/HasProperty | simple example
Facets:
Source sentences:
text: The ordinal numbers are a simple example—if each ordinal n is identified with the set [n] of all ordinals less than or equal to n, then a ≤ b if and only if [a] ⊆