Axiom Schema of Separation

If P is a property with a parameter p, then for any set X and p there exists a set Y, with $Y = \{u \in X : P(u,p) \}$ that contains all those $u \in X$ that have property P.