Аксиомы отношения порядка.

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.

Предыдущая_страница Следующая_страница