generalized quantification

Мат. обобщенная квантификация