Set ordered by a transitive, antisymmetric, and reflexive binary relation.