partially ordered set

set ordered by a transitive, antisymmetric, and reflexive binary relation