ограниченная квантификация

Мат. bounded quantification