Assertion: natural ordering | /r/HasProperty | total order
Facets:
value: on the objects of a class
type: LOCATION
Source sentences:
text: Technically speaking, these restrictions ensure that the natural ordering is a total order on the objects of a class that implements it; this is necessary to ensure that sorting is well defined.