$$\forall
a: a\in P \iff \forall q: q\in a \rightarrow q\not\in q$$