Todo conjunto não vazio de números inteiros positivos possui um menor elemento, isto é, se S é um conjunto de números inteiros positivos, não vazio, então existe s ε S tal que s ≤ x, para todo x ε S. Essa mesma propriedade é também válida para conjuntos não vazios de números reais positivos.
