relativizing quantifier

Мат. релятивизирующий квантор