 Subset (Separation) Axiom of Z:  \(\forall x[\mathit{Set}(x) \to \exists y[\mathit{Set}(y) \amp \forall z(z \in y \equiv (z \in x \amp \phi))]]\),  where \(\phi\) is any formula in which \(y\) isn’t free 