Аксиомы порядка

Всякие два элемента х, у, Î Q вступают в отношение сравнения . При этом выполняются следующие условия:

10. (х у)L (у x) x=у.

11. (х у)L (у z) xz.

12. Для любых х, у Î Q либо х< у, либо у < x .

Отношение < называется строгим неравенством,

Отношение = называется равенством элементов из Q.