Верхняя грань множества