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