A subset S of a partially ordered set P is anantichain if, for all x, y in S, x x = yI.e. no two different elements are related. ("<=" is written in LaTeX as \subseteq).
