# nLab antichain

In a preorder or poset $P$, an antichain is a subset $S \subset P$ such that no two distinct elements of $S$ are comparable.

Created on October 1, 2011 21:54:05 by Todd Trimble (69.118.58.208)