Antichains F2 is an antichain {1,2,3} VA,B∈F,AEB 《1.213}23} (is antichain } {2 3} largest size:(m2l） “Is this the largest size for all antichains?'”Antichains ∅ {1} {2} {3} {1,2} {1,3} {2,3} {1,2,3} {1,2} {1,3} {2,3} ⌅A, B ⇥ F, A ⇤￾ B F ￾ 2 is an antichain [n] ￾[n] k ⇥ is antichain largest size: ￾ n ￾n/2⇥ ⇥ “Is this the largest size for all antichains?