nLab
antichain

In a preorder or poset P, an antichain is a subset SP such that no two distinct elements of S are comparable.