Assertion: filter's number | /r/HasProperty | ordered set
Facets:
value: totally
type: DEGREE
Source sentences:
text: A sequence is usually indexed by the natural numbers, which are a totally ordered set.