<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
What is the maximum cardinality of an antichain?
<|assistant|>
The maximum cardinality of an antichain is equal to the size of the poset's largest chain. This is known as Dilworth's theorem. In other words, if a poset has a largest chain of size n, then its largest antichain can have at most n elements.