La "σ-álgebra generada" por una colección "T" de subconjuntos de "X" se define como la mínima σ-álgebra que contiene a "T".