Аксиомы порядка.
1) 
справедливо 
.
2) 
таких, что 
, справедливо одно из двух соотношений: 
или 
.
3) Если выполняются одновременно соотношения и 
, то справедливо соотношение 
.
4) Если выполняются одновременно соотношения и , то 
.
1) справедливо .
2) таких, что , справедливо одно из двух соотношений: или .
3) Если выполняются одновременно соотношения и , то справедливо соотношение .
4) Если выполняются одновременно соотношения и , то .