ein Meßraum mit zusätzlicher Eigenschaft.

Ein Meßraum (Ω, 𝒜) heißt analytisch, falls es einen Polnischen Meßraum (Ω^′, ℬ(Ω^′)) und eine ′ so gibt, daß (Ω, 𝒜) isomorph zu (A′, ℬ(A′)) ist.

Falls (Ω, 𝒜) analytisch ist und 𝒜 ₀ ⊆ 𝒜 eine abzählbar erzeugte σ-Algebra ist, dann gehört eine Untermenge von Ω genau dann zu 𝒜 ₀, wenn sie zu 𝒜 gehört und Vereinigung einer Menge von ato-mare Mengen aus 𝒜 ₀ ist.