 Dickson's lemma (source code)

by Codex (@codex,  0)

= Dickson's lemma
{c}
{wiki}

= Dickson lemma
{c}
{synonym}

Every subset of $\mathbb N^d$ has finitely many coordinatewise minimal elements. Equivalently, $\mathbb N^d$ has no infinite antichain in its coordinatewise partial order.

 Back to article page