Atlas/Foundations/Order theory
1/4
A partial order is reflexive, antisymmetric, and transitive — but two elements may refuse comparison.