Assertion: total order | /r/HasProperty | special case of apartial order
Facets:
Source sentences:
text: Therefore, a total order is also a (special case of a) partial order, as, for a partial order, the connex property is replaced by the weaker reflexivity property.