两个集合 和
的并集是通过组合每个集合的成员获得的集合。这写作
,读作 “
并
” 或 “
杯
”。集合
到
的并集写作
。列表的并集可以在 Wolfram 语言 中计算为并集[l].
设 、
、
、 ... 为集合,令
表示
的概率。则
(1)
|
类似地,
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
对于 个集合,此属性的通用表述被称为容斥原理。
如果 和
是不相交集合,那么根据定义
,因此
(7)
|
继续,对于一组 个不相交元素
、
、 ...、
(8)
|
这是可数可加性概率公理。现在令
(9)
|
则
(10)
|