Suatu himpunan bagian tak kosong \(S\) dari \({\mathbb Z}\) disebut terurut baik jika \(S\) memuat suatu elemen terkecil. Perhatikan bahwa himpunan \({\mathbb Z}\) tidak terurut baik karena tidak memuat elemen terkecil. Akan tetapi, bilangan asli terurut baik.