universal quantification

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

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