свертывание кванторов

Мат. contraction of quantifiers