Kompleksiluku
Kompleksilukujen joukko ℂ on reaalilukujen luonnollinen laajennus. Kompleksiluku "z" on muotoa
Järjestysrelaatio
"Järjestetty kunta" on kunta, jossa on määritelty järjestysrelaatio, joka edellisten lisäksi toteuttaa myös seuraavat ehdot:Järjestettyjä kuntia ovat esimerkiksi rationaalilukujen joukko formula_3 ja reaalilukujen joukko formula_4. Sitä vastoin kompleksilukujen kunnassa formula_5 ei järjestysrelaatiota voida määritellä niin, että se toteuttaisi kaikki nämä ehdot.