lautet:

Es sei Ω eine Menge, \({\mathscr{A}}\) ein σ -Mengenring aufΩ, wobei ein isotone Folge (A_n|n ∈ ℕ) ⊆ \({\mathscr{A}}\)existiert mit \(\displaystyle \mathop{\cup }\limits_{n\in {\mathbb{N}}}{A}_{n}=\Omega,\)μeinMaß auf \({\mathscr{A}}\)und {ω} ∈ \({\mathscr{A}}\)mit μ({ω}) = 0 für alle ω ∈ Ω.

Dann ist jedes Netz \({\mathscr{N}}\)von Untermengen von Ω. ein Vitali-System.