Prinsip Well Ordering

Prinsip well ordering atau prinsip terurut sempurna digunakan untuk mengembangkan sifat-sifat bilangan bulat, salah satu penerapan prinsip well ordering yaitu dalam pembuktian algoritma pembagian. Berikut definisi dari prinsip well ordering,

Definisi  (Burton, 2007: 1)
Jika S himpunan tidak kosong dan S suatu himpunan bilangan bulat tak negatif, maka ada suatu elemen
a ϵ S sedemikian sehingga a ≤ b, untuk setiap b ϵ S.

Ilustrasi mengenai prinsip well ordering diberikan pada contoh berikut.
Contoh
Misalkan himpunan S = {3, 5, 7, 10, 13, …} maka menurut prinsip well ordering, himpunan S memuat elemen terkecil yaitu  = 3.