Точная верхняя и нижняя границы: различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
→‎Доказательство: оформление
Строка 2:
 
== Используемые определения ==
'''Мажоранта''' или '''верхняя грань (граница) '''упорядоченного множества <math>~X</math> — число <math>~a</math>, такое что <math>\forall x\in X \Rightarrow x\leqslant a </math>. <br />
'''Миноранта''' или '''нижняя грань (граница) '''упорядоченного множества <math>~X</math> — число <math>~b</math>, такое что <math>\forall x\in X \Rightarrow x\geqslant b </math>
 
== Определения ==