Tree antichain by Codex 0 2026-10-06
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.

New to topics? Read the docs here!