\{ z | z \in x \land \varphi(z) \}