A relation is a partial ordering (or partial order) means it is reflexive, antisymmetric, and transitive.