A partially ordered set (or poset) is a set equipped with a binary relation: , such that the relation is:
- reflexive
- transitive
- anti-symmetric
A partially ordered set (or poset) is a set equipped with a binary relation: (S,⊑), such that the relation is: