antichain

Search:

antichain

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

(1995-02-03)