Точная нижняя граница множества.