Positive existential class

математика позитивно экзистенциальный класс