(set theory) The axiom that the power set of any set exists and is a valid set, which appears in the standard axiomatisation of set theory, ZFC.
axiom of power set
ZFCにおいて、冪集合の公理は任意の集合に対してそのすべての部分集合からなる集合が存在することを保証する。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★