axiom schema of separation - to wathc

Sei \(A\) eine Menge und \(P(x)\) eine Aussage

\begin{align*} \forall A\exists M \forall x(x \in M \Leftrightarrow x \in A \land P(x)) \end{align*}