# Antichain

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.*