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