幂集公理
在数学中,幂集公理是公理化集合论的Zermelo-Fraenkel公理之一。
在Zermelo-Fraenkel公理的形式语言中,这个公理读做:
或简写为:
换句话说:
- 给定任何集合A,有着一个集合
使得,给定任何集合B,B是
的成员,当且仅当B是A的子集。
通过外延公理可知这个集合是唯一的。我们可以称集合是A的幂集。所以这个公理的本质是:
- 所有集合都有一个幂集。
幂集公理一般被认为是无可争议的,它或它的等价命题出现在所有可替代的集合论的公理化中。
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。