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