A partial order which orders every 2 elements in some way. That is, to irreflexivity we add the following:

For any x ≠ y, either x→y or y→x.

The primary example of a total order is x<y (on the real numbers, say), so the symbol "<" is often used to denote a total order.

Log in or registerto write something here or to contact authors.