Ordering relation where all elements can be compared, equality means identity; binary relation on some set, which is antisymmetric, transitive, and total.