existential class

Мат. экзистенциальный класс