Assertion: ordered set | /r/CapableOf | rule out fourth possibility
Facets:
Source sentences:
text: A totally ordered set is one that rules out this fourth possibility: all pairs of elements are comparable and we then say that trichotomy holds.