Anglais ⇄ Allemand Français Russe +

universal quantification contraintes
math.	навешивание квантора общности
progr.	использование кванторов всеобщности (ssn); универсальная квантификация (ssn)