Число

называется верхней границей множества
, если любое число

не превосходит
. Иными словами,

— верхняя граница множества
, если
.
Множество называется ограниченным сверху, если оно имеет хотя бы одну верхнюю границу.
Если множество ограничено сверху, то его минимальная верхняя граница

называется точной верхней границей, или супремумом, и обозначается
.
Минимальность верхней границы

означает, что ее нельзя уменьшить. Если мы уменьшим супремум

на любое небольшое
, то число

уже не будет верхней границей для множества
, то есть найдется число
, для которого

уже не является верхней границей, то есть будет верно неравенство
.
Определение супремума в формальной записи:
, если
1)

— верхняя граница
, то есть
;
2)

— минимальная верхняя граница
, то есть
.
Аналогично определяется нижняя граница и точная нижняя граница как максимум всех нижних границ.
Число

называется нижней границей множества
, если любое число

не меньше
. Иными словами,

— нижняя граница
, если
.
Множество называется ограниченным снизу, если оно имеет хотя бы одну нижнюю границу.
Если множество ограничено снизу, то его максимальная нижняя граница

называется точной нижней границей, или инфимумом, и обозначается
.
Определение инфимума в формальной записи:
, если
1)

— нижняя граница
, то есть
;
2)

— максимальная нижняя граница
, то есть
.
Множество натуральных чисел

не органичено сверху, поэтому и супремума у него нет.
По определению можно показать, что
.
Так как
, то есть 1 — нижняя граница.
Так как
, то 1 — максимальная нижняя граница.