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.

Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.