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