Total Order

A total order is a binary relation that satisfies:

• Anti-symmetry: if both $v\le w$ and $w\le v$ then $v=w$
• Transitivity: if both $v<w$ and $w<x$ then $v<x$
• Totality: either $v\le w$ or $w\le v$ or both