навешивание квантора существования

Мат. existential quantification

Источник: Полный русско-английский словарь на Gufo.me