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

Мат. universal quantification

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