10) "aΪ Ð a £ a
11) "a,b,cΪ : (a £ b и b £ c) Ð a £ c
12) "a,bΪ Ð (a £ b или b £ a)
13) "a,bΪ : (a £ b и b £ a) Ð a = b
Связь отношения порядка и сложения.
14) "a,b,cΪ : a £ b Ð a+c £ b+c
Связь отношения порядка и умножения.
15) "a,b,cΪ : (a £ b и 0 £ c) Ð a×c £ b×c
16) Для любых двух множеств A,B̪ таких, что ("aÎA, bÎBÐ a £ b) существует число сΪ такое, что a £ c £ b для любых aÎA, bÎB.