べき集合: P(A) := { x | x ⊂ A } 定義より明らか。

それでは身も蓋もないので、背後には次のような構造があると考えるとよいかもです。
2変数述語: Pred(x,y) := x ⊂ y ----(a)
べき集合: P(A) := { x | Pred(x, A) } ---(b)
X ⊂ A ⇄ X ∈ P(A)
1. (→) X ⊂ A → (a)より Pred(X, A) → (b)より X ∈ P(A)
2. (←) X ∈ P(A) → (b)より Pred(X, A) → (a)より X ⊂ A