unbounded quantifier

Мат. неограниченный квантор