Assertion: set | /r/CapableOf | close under the successor function
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}.