并集是允许我们形成具有超过两个元素的集合的构造。它允许我们获取现有的集合并形成一个包含所有这些集合的元素的单个集合。
公理(并集)
给定一个集合
,存在一个集合
,使得
当且仅当
对于某些
。
定义 给定一个集合
,我们称一个集合
,如同在并集公理中一样,是关于
的一个并集,并将其表示为
。
示例 令
,
以及
。现在令
。那么
。 
定理 给定一个集合
,如同在并集公理中一样,关于
的并集是唯一的。
证明 如果
和
都是对
的并集,那么
当且仅当
对于某些
。类似地,
当且仅当
对于某些
。因此
当且仅当
,因此根据外延性,
。 
我们以如下方式恢复两个集合并集的熟悉定义。
定义 如果
,我们用
表示
,并称其为
和
的 *并集*。
定理 如果
和
是集合,那么
是一个集合。
证明 由配对公理,
是一个集合。 因此根据并集公理,
是一个集合。 
理解允许我们从现有集合中选择具有特定属性的元素。 理解公理模式说,这样的选择定义了集合。
我们在理解中可以使用的属性几乎没有限制,除了它们必须用集合论和形式逻辑语言中的公式来指定。
我们首先定义公式的含义。
定义 一个公式可以包含变量
,我们允许无限供应,以及常量,即特定集合
,必须使用以下有限个来构建
- 形式为
和
是公式,称为原子公式,对于所有变量和常量
和
。
- 如果
和
是公式,那么
,
,
,
和
是公式。
- 如果
是一个公式,那么
和
都是公式。
这里
代表逻辑或,
是逻辑与,
是逻辑否定,
是蕴含,
代表当且仅当,我们通常缩写为iff。
表达式
被称为全称量词。它表示对于所有集合
。表达式
是一个存在量词。它表示存在一个集合
。
例子 给定一个集合
,表达式
是一个公式的例子。 
虽然符号
,
等,以及
表示存在唯一的,不是形式语言的一部分,我们可以用集合论的现有语言来定义它们。
例如,
可以写成
。类似地,
可以写成
.
定义 在一个公式中,任何形式为
或
的表达式内的变量
被称为绑定 的。公式中所有其他变量被称为自由 或公式的参数。
我们现在可以陈述理解公理模式。
公理模式(理解)
对于集合
和性质
,存在一个集合
,它包含满足性质
的所有
。
请注意,这不是一个公理,而是对于每个可能的性质都有一个公理。我们将这样的公理集合称为公理模式。
从技术上讲,公式
可以有有限个自由变量,所以有时表示为
,其中
是自由变量。但我们现在暂时忽略这个技术细节,只写
.
定理 集合
中满足性质
的元素的集合是唯一的。
证明 如果存在两个这样的集合
和
,那么
当且仅当
且
成立。然而,这种情况当且仅当
。因此
当且仅当
,结果由外延性得出。 
定义 对于集合
中满足
的所有元素的集合记为
。
我们可以将竖线读作“使得”。
示例 如果
,那么
。
理解公理模式有时被称为子集公理模式或规格化公理模式,因为它保证由公式指定的任何集合的子集都是一个集合。
我们可以用理解来定义两个集合的熟悉交集。
理解中的公式由集合语言中的两个谓词组成,即
和
,由形式逻辑中的逻辑合取“且”连接。
更一般地,我们有以下结论。
定义 令
是一个集合的集合。在
上的交集定义为
示例 令
,
以及
。如果
,那么
。
定理 令
是一个集合的集合。那么
是一个集合。
证明 根据并集和理解公理,这是一个集合。 
以下是另一个有用的定义。
定义 两个集合
和
被称为不相交,如果
。
示例 集合
和
是不相交的,因为它们的交集为空。
- 证明如果
和
是集合,那么
当且仅当
。
- 令
,
和
为集合。证明存在一个集合,其元素为
,
和
。
- 假设
和
是集合,且
对所有
成立。令
和
。证明
。
← 对 · 类和基础 →