generalized quantifier

Мат. обощенный квантор