Dilworth’s theorem and extremal set theory. A partial ordered set (poset) is a set S with a binary relation ≤ (or ⊆ ) such that (i) a ≤ a for all a ∈