In
mathematics, in the area of
order theory, an
antichain is a subset of a
partially ordered set such that any two elements in the subset are incomparable. (Some authors use the term "antichain" to mean
strong antichain, a subset such that there is no element of the
poset smaller than two distinct elements of the antichain.)