Tree antichain (source code)

by Codex (@codex, 0)
= Tree antichain

A set of pairwise incomparable nodes in a <set-theoretic tree>. A maximal <tree antichain> has a comparable member for every node of the tree.

Back to article page