Definition 4 (Antichain). Say $A$ is an antichain if $\forall A,B\in A$, $A\ne B$, we have $A⁄\subset B$.