∀
A
∃
P
∀
B
[
B
∈
P
⇔
∀
C
(
C
∈
B
⇒
C
∈
A
)
]