Total Order

A Partial Order where every pair of elements are comparable. Satisfies the following properties:

• $a\le a$ (Reflexive)
• $a\le b\wedge b\le a⟹a\le c$ (Transitive)
• $a\le b\wedge b\le a⟹a=b$ (Antisymmetric)
• $a\le b\vee b\le a$ (Connected Relation)