PartiallyOrderedSet.md (378B)
1 # Partially Ordered Set (Poset) 2 3 Ch 9.6 4 5 **Definition:** (S,R) is a partial ordered set (poset) if the relation R is reflexive, antisymmetrice, and transitive with respect to the set S. 6 7 Basically, we can define R as {(1,1), (2,2), (3,3), (3,2)} and since this is a partial ordering (reflexive, antisymmetric, and transitive), if we define S as {1,2,3} we see (S,R) is a poset.