Полный англо-русский словарь
Мат. связанный квантором существования; стоящий под квантором существования