In mathematics, an antichain in a partially ordered set S is a subset A of S such that every pair of members of A is incomparable, i.e., for any x, y in A, neither x ≤ y nor y ≤ x.

This article is a stub. You can help Wikipedia by fixing it.