Begriff im Kontext Axiomatische Mengenlehre.

Ist φ eine mengentheoretische Formel und K eine Klasse, so ist die Relativierung φ^K von φ auf K durch die folgende Fallunterscheidung induktiv über den Aufbau von φ definiert:

1. (x = y)^K sei x = y.
2. (x ∈ y)^K sei x ∈ y.
3. (ϕ ∧ ψ)^K sei ϕ^K ∧ ψ^K.
4. (¬φ)^K sei ¬φ^K
5. (\({(\bigvee x(\phi ))}^{K}\) sei \(\bigvee x(x\in K\wedge {\phi }^{K})\)).