Antichain (source code)

= Antichain
{wiki}

An antichain is a family of sets no one of which contains another.