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