Assertion: total order | /r/HasProperty | binary relation
Facets:
value: in mathematics
type: OTHER
Source sentences:
text: In mathematics, a total order, simple order, linear order, connex order, or full order is a binary relation on some set X {\displaystyle X} , which is antisymmetric, transitive, and a connex relation.