
Non ho capito un passo della dimostrazione del Teorema di Dilworth nel video del WC 2007:
$ C $ è l'insieme degli elementi che sono contenuti in un elemento dell'anticatena, $ D $ è l'insieme degli elementi che contengono un elemento dell'anticatena, $ W $ è l'anticatena di cardinalità massima. Perchè $ D \vee C = \varnothing $?
Naturalmente se qualcuno vuole postare la sua dimostrazione...