Assertion: set | /r/HasProperty | natural number
Facets:
Source sentences:
text: Then the set {I n : n is a natural number}, where I n is the set of natural numbers below n, is a chain in this ordering, as it is totally ordered under inclusion: If n≤k, then I n is a subset of I k .