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

1) справедливо .

2) таких, что , справедливо одно из двух соотношений: или .

3) Если выполняются одновременно соотношения и , то справедливо соотношение .

4) Если выполняются одновременно соотношения и , то .