 Relativized closure criterion for separation

Let $M$ be a transitive class. If $M$ is closed under the ambient subsets defined by ${\phi }^M$, then $M$ satisfies the $\phi$-instance of separation, because