$$\exists b:\forall a: a\in b \iff P(a)$$