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