基础集合论 第一章 5 偶集

偶集公理

$\forall a, \forall b, \exists A, \forall x (x \in A \Leftrightarrow x = a \lor x = b)$

定义： 记 $\{ a, b \} = \{ x \mid x = a \lor x = b \},$ 并称之为以 $a, b$ 为元素的偶集。偶集又被称为无序偶。

定义： 记 $\{ a \} = \{ a, a \},$ 并称之为以 为元素的单集。