Partially Ordered Set

Natural & Formal Sciences Dictionary
A set equipped with a binary relation ≤ that is reflexive (x ≤ x), antisymmetric (x ≤ y and y ≤ x imply x = y), and transitive (x ≤ y and y ≤ z imply x ≤ z); not every pair of elements must be comparable.