Poset

Partially ordered set

A set with homogenious relation <= is called poset when <= satisfied the following:

relation <= is reflexive i.e. A <= A

relation <= is antisymmetric i.e. (A <= B & B <= A) -> A = B

relation <= is transitive i.e. (A <= B & B <= C) -> A <= C