Assertion: set | /r/HasProperty | ordered by any of these four relations
Facets:
value: totally
type: DEGREE
Source sentences:
text: We can define or explain the way a set is totally ordered by any of these four relations; the notation implies whether we are talking about the non-strict or the strict total order.