\forall A\,\exists P\,\forall B\,\lbrack B \in P \Leftrightarrow \forall C\,(C \in B \Rightarrow C \in A)\rbrack
