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.) Let S be a partially.....