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