Akademik
сжатие кванторов
мат
.
contraction of quantifiers
Большой англо-русский и русско-английский словарь
.
2001
.