Изменения

Для любого подмножества натурального ряда всегда существует минимум.

Т. е. <tex>\forall A \subset \mathbb N, A \ne \varnothing, \exists x \in A: \forall y \in A, x \leqslant y</tex>

== См. также ==