0577132人目の素数さん垢版2017/10/09(月) 00:30:00.83ID:JxNtmseV べき集合: 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