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

Bounded quantifier