reflexive, antisymmetric, transitive.
irreflexive, antisymmetric, transitive.
Partial order that compares all elements.
Compact visualization of partial order.