Es sei ( M , E , μ ) {\displaystyle {}(M,{\mathcal {E}},\mu )} ein Wahrscheinlichkeitsraum. Man nennt zwei σ {\displaystyle {}\sigma } -Algebren A , B ⊆ E {\displaystyle {}{\mathcal {A}},{\mathcal {B}}\subseteq {\mathcal {E}}} unabhängig, wenn für jedes A ∈ A {\displaystyle {}A\in {\mathcal {A}}} und jedes B ∈ B {\displaystyle {}B\in {\mathcal {B}}} die Gleichheit
gilt.
