buon ordinamento

buon ordinamento

buon ordinamento ordinamento di un insieme tale che ogni suo sottoinsieme non vuoto possiede un elemento minimo. L’ordinamento usuale è per esempio un buon ordinamento per l’insieme N dei numeri naturali, ma non per l’insieme Z dei numeri interi relativi perché il suo sottoinsieme dei numeri negativi non ha un elemento minimo. L’affermazione che ogni insieme può essere dotato di buon ordinamento, detto anche teorema del buon ordinamento, equivale all’accettazione del lemma di → Zorn (e, quindi, dell’assioma della → scelta) che stabilisce che ogni insieme può essere bene ordinato.