Определение 2

Наименьшая из верхних граней ограниченного сверху множества называется точной верхней гранью этого множества или супремумом: . Наибольшая из нижних граней множества называется точной нижней гранью или инфимумом: .

Из определения следует, что: 1) для справедливо неравенство 2) для такое, что . Аналогичные условия можно сформулировать и для : для имеет место для такое, что .