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

Мат. bounded predicate