8
правок
Изменения
Нет описания правки
3) <tex>\forall a, b, c \in X:</tex> если <tex>a \leqslant b</tex> и <tex>b \leqslant c</tex>, то <tex>a \leqslant c</tex>
4) <tex>\forall a \in X \forall b \in X </tex> либо <tex>a \leqslant b</tex>, либо <tex>b \leqslant a</tex>.
5) <tex>\forall Y \in X \exists a \in Y \forall b \in Y: a \leqslant b</tex> {{---}} очевидно, в любом подмножестве натуральных чисел есть наименьшее.
