Ereignisse A_l,⋯,A_n der σ-Algebra \({\mathfrak{U}}\) eines Wahrscheinlichkeitsraumes \(({\rm{\Omega }},{\mathfrak{U}},P)\) derart, daß für alle 1 ≤ m ≤ n und alle m-Tupel (i_l,⋯,i_m) mit 1 ≤ i₁ ≤, ⋯ ≤ i_m ≤ n die Wahrscheinlichkeit des Durchschnitts \({\cap }_{j=1}^{m}{A}_{{i}_{j}}\) nicht von der speziellen Wahl des m-Tupels abhängt.

Für eine beliebige Indexmenge I heißt die Familie (A_i)_i∈I von Ereignissen austauschbar, wenn jede endliche Teilfamilie aus austauschbaren Ereignissen besteht.