# How to understand the duality between Dilworth's theorem and Mirsky's theorem?

Dilworth's theorem states that for any partial order, the size of the largest antichains is the size of the smallest chain partitions. Mirsky's theorem states that for any partial order, the size of the longest chains is the size of the smallest antichain partitions. Wikipedia says that those theorems are dual, which is clear from what they state, but they do not have the same proofs: the proof of Dilworth's theorem is an induction whereas Mirsky's theorem has a very elegant proof. Are there dual proofs of those two results, or a way to "see" the duality between chains and antichains that those results suggest? (Edit: I am interested in the case of finite partial orders.)

-
If I recall correct Dilworth's theorem states this only for finite posets, or maybe posets with a finite width. – Asaf Karagila Jan 29 '13 at 16:44
I'm interested in finite partial orders, I edited the question to reflect this. Thanks for this remark! – a3nm Jan 29 '13 at 16:45