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

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

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

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

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

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

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