Определим отношения порядка <, ³ , >, ¹ и операции вычитания и деления на множестве действительных чисел:
a¹b Û Ø (a=b)
a<b Û (a £ b и a¹b)
a ³ b Û b £ a
a>b Û b<a
a-b = a+(-b)
a/b = a×(1/b) (b¹0)