Assertion: set | /r/HasProperty | chain
Facets:
value: in this ordering
type: OTHER
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 .
text: A set paired with a total order is called a chain, a totally ordered set, a simply ordered set, a linearly ordered set, or a loset.