Tukey, lemma di

Tukey, lemma di

Tukey, lemma di in teoria degli insiemi, riguarda una famiglia F di insiemi che sia di carattere finito. Una famiglia F è di carattere finito se un insieme A appartiene a F se e solo se ogni sottoinsieme finito non vuoto di A appartiene a F. Il lemma di Tukey stabilisce che una tale famiglia ha un sottoinsieme massimale. Assumendo come assioma l’assioma della → scelta, esso è equivalente al lemma di → Zorn.