Definition (Antichain). $A\subseteq P$ is an antichain if any two distinct elements of $A$ are incompatible.