Relasi urutan

Bilangan real a yang kurang dari b dituliskan dengan simbol a\lt b. Seperti halnya relasi kesamaan, relasi urutan juga tunduk pada tiga aturan berikut ini.

Irefleksif

\text{Tidak\,benar\,bahwa}\, a \lt a

Transitif

a \lt b \land b \lt c \implies a\lt c

Terhubung total

a \ne b \implies a \lt b \lor b \lt a

Berikutnya: Trikotomi