Related Structures
A binary relation that is antisymmetric, transitive, and reflexive (but not necessarily total) is a partial order.
A group with a compatible total order is a totally ordered group.
There are only a few nontrivial structures that are (interdefinable as) reducts of a total order. Forgetting the orientation results in a betweenness relation. Forgetting the location of the ends results in a cyclic order. Forgetting both data results in a separation relation.
Read more about this topic: Total Order
Famous quotes containing the words related and/or structures:
“Gambling is closely related to theft, and lewdness to murder.”
—Chinese proverb.
“The philosopher believes that the value of his philosophy lies in its totality, in its structure: posterity discovers it in the stones with which he built and with which other structures are subsequently built that are frequently better—and so, in the fact that that structure can be demolished and yet still possess value as material.”
—Friedrich Nietzsche (1844–1900)