Dickson lemma
= Dickson lemma
{c}
{wiki=Dickson's_lemma}
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.
= Dickson lemma
{c}
{wiki=Dickson's_lemma}
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.