兩個集合 和
的並集是透過組合每個集合的成員獲得的集合。這寫作
,讀作 “
並
” 或 “
杯
”。集合
到
的並集寫作
。列表的並集可以在 Wolfram 語言 中計算為並集[l].
設 、
、
、 ... 為集合,令
表示
的機率。則
|
(1)
|
類似地,
|
(2)
| |||
|
(3)
| |||
|
(4)
| |||
|
(5)
| |||
|
(6)
|
對於 個集合,此屬性的通用表述被稱為容斥原理。
如果 和
是不相交集合,那麼根據定義
,因此
|
(7)
|
繼續,對於一組 個不相交元素
、
、 ...、
|
(8)
|
這是可數可加性機率公理。現在令
|
(9)
|
則
|
(10)
|