基础集合论 第一章 5 偶集

偶集公理

∀a,∀b,∃A,∀x(x∈A⇔x=a∨x=b)

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

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