See: Strict Total Order Relation, Totally Ordered Set, Strict Partial Order Relation, Partially Ordered Set.