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