English Dictionary

axiom of power set

固有名詞

(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.

日本語の意味

任意の集合について、その集合のすべての部分集合（べき集合）が存在し、有効な集合であることを保証する公理。これは集合論の標準公理系であるZFCにおいて採用されている。

In ZFC, the axiom of power set ensures that for every set there exists a set of all its subsets.

ZFCにおいて、冪集合の公理は任意の集合に対してそのすべての部分集合からなる集合が存在することを保証する。

意味（1）

(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.

The axiom of choice differs from other axioms of ZF by stating existence of a set (i.e., a choice function) without defining it (unlike, for instance, the axiom of pairing or the axiom of power set).