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