Определение точной верхней грани множества