Изменения

* отношение строгого неравенства на множестве вещественных чисел: <tex>\forall ~a, b \in \mathbb R, a≠b\colon ~(aRba<b)~ \lor ~(bRab<a)</tex>.