Total Order

全序（Total Order） 是特殊的偏序关系，指偏序基础上加上第四点定义：可比性。

全序关系应符合如下要求 ^[1]：

1. 自反性（reflexivity）：$a<=a$
2. 传递性（transitivity）：if $a<=b$ and $b<=c$ then $a<=c$
3. 反对称性（antisymmetry）：if $a<=b$ and $b<=a$ then $a==b$
4. 可比性（comparability）：任意两个元素可比较，either $a<=b$ or $b<=a$