 Formula relativization to a class

The relativization ${\phi }^M$ of a formula $\phi$ is obtained recursively by restricting every quantifier to $M$:For parameters in $M$, the ambient statement ${\phi }^M$ holds exactly when the structure $(M,\in )$ satisfies $\phi$.