Bilangan riil

Kita akan mengasumsikan terdapat himpunan R+, yang disebut sebagai "bilangan positif" yang merupakan himpunan bagian dari R. Misalkan juga "x" dan "y" adalah anggota R+. Himpunan bagian ini memenuhi aksioma urutan berikut ini: