Definition. Relativized Quantification [000H]

Let be a formula in ZFC. We define