Urejenost je lastnostmnožic, v katerih je določena kakšnarelacija urejenosti, na primer <. Urejena je, na primer, množicanaravnih števil {0|, 1, 2, 3, 4, 5, 6, ...}. Za njene tri poljubne elementea,b inc velja:
- Relacijea <b,a =b ina >b sestavljajopopolno disjunkcijo, kar pomeni, da med dvema poljubnimašteviloma velja samo ena od treh relacij,
- Iza <b inb <c sledia <c (Zakon o prehodnosti (tranzitivnosti)),
- Iza <b sledia +c <b +c (Zakon o monotoniji).
