加法定理
集合が互いに素(事象が排反(英語版))ならば和を分配できる。一般に交わりを持つ場合には包除原理による。