La existencia y unicidad de una tal σ-álgebra se demuestra fácilmente notando que la intersección de todas las σ-álgebras que contienen a "T" es en sí misma una σ-álgebra que contiene a "T".