. Пусть AcR, считается, что А имеет ограничение снизу, если существует m такое, что для любого х из А верно x≤n. Наибольшую из всех нижних граней называют точной нижней гранью или Инфимум. Наименьшую из всех верхних граней называют точной верхней гранью или супремум. Свойства: Любой x≥infX, при любом положительном eps существует x
Пример:
1)Для множества 
; 
.
2)
- Множество
рациональных чисел, квадрат которых меньше двух, не имеет точных верхней и нижней граней в 
, но если его рассматривать как подмножество множества действительных чисел, то
и 
.
