partially ordered set (Q474715)
set ordered by a transitive, antisymmetric, and reflexive binary relation
Language: