獨立補集定理

如果集合 和 是獨立的，那麼 和 也是獨立的，其中 是 的補集（即，所有不在 中的可能結果的集合）。令 表示“或”， 表示“和”。那麼

			(1)
			(2)

其中 是 的縮寫。但是 和 是獨立的，所以

(3)

此外，由於 和 是補集，它們不包含共同元素，這意味著

(4)

對於任何 。將 (4) 和 (3) 代入 (2) 得到

(5)

重新排列，

(6)

證畢。