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