типовый квантор

Мат. typical quantifier