nLab
antichain

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

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