Assertion: set | /r/HasProperty | s(n= n ∪ n}.
Facets:
Source sentences:
text: The set N of natural numbers is defined in this system as the smallest set containing 0 and closed under the successor function S defined by S(n) = n ∪ {n}.