Select a result to preview
Tags: #definition
An antichain is a subset A⊆P of a poset such that for all a,b∈A,
ie. they are incomparable.