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.
| 
