Полный англо-русский словарь
Мат. свертывание кванторов; сжатие [склеивание] кванторов
contraction of quantifiers