事件獨立兩事件獨立以交集機率等於邊際機率乘積定義；此定義不依賴零機率條件式。atlas-event-independence · canonical_mko事件獨立前置節點事件有限樣本空間上的機率有限模型的條件機率