互斥
在邏輯學中，互斥（Mutually Exclusive）是一種邏輯關係，指幾個變數或事件之中的任一個不可能與其他一個或多個同時為真，或同時發生的情況。對於邏輯函數，其變數互斥，意味著兩個以上變數為真（包括都不為真）的情況會導致函數值為假。對於事件，其所有條件的互斥意味著，任兩個條件的實現都將阻止事件的產生。同樣可以引申到程序編寫及其他關係。
比如一個最簡單的情況下，投擲一枚硬幣，硬幣不可能同時出現既為正也為反；兩個結果互斥。
而在機率論中，事件 E1, E2, ..., En 在當其中任意一個事件與其餘 (n-1) 個都不能同時發生時被稱作互斥。用 A B 表示任意兩個事件，即有公式：P (A and B) = 0。
在該樣本空間中，所有互斥事件機率之和為 1 (即可拼為全機率)。
若
  
    
      
        
          A
          
            i
          
        
        ∩
        
          A
          
            j
          
        
      
    
    {\displaystyle A_{i}\cap A_{j}}
  為空集，則該兩子集或元素互斥。