Princípio da boa-ordenação
Origem: Wikipédia, a enciclopédia livre.
Seja 
, dizemos que 
é o elemento mínimo de X quando 
. Se 
com 
, então 1 é o elemento mínimo de X. Isto é óbvio, visto que 1 é o menor elemento de IN.
Dizemos que 
é o elemento máximo de X quando 
. Note que IN não tem um elemento máximo, logo é de se esperar que existam subconjuntos de IN sem um maior elemento.
O Princípio da Boa-Ordem diz que todo subconjunto não-vazio de IN possui menor elemento, equivalente ao Princípio da indução.
