Given a formula $\phi (x) $, we can say certain things about the collection of all sets $x $such that $\phi (x) $.
We can say that it is a set as follows: $\exists y \forall x (x \in y \leftrightarrow \phi (x) ) $.