Reaalilukujen joukossa on relaatiolla “≤” eli “≤” seuraavat neljä pääominaisuutta.

• refleksiivisyys:   a ≤ a   aina
• transitiivisuus:   jos   a ≤ b   ja   b ≤ c,  niin   a ≤ c
• antisymmetrisyys:   jos   a ≤ b   ja   b ≤ a,  niin   a = b
• kolmioepäyhtälö:   |a+b| ≤ |a|+|b|