Un conjunto en un espacio de medida tiene medida σ-finita si es una unión contable de conjuntos de medida finita.