$$\forall A\exists P\forall B[B\in P\iff \forall C(C\in B\Rightarrow C\in A)]$$