Una medida puede extenderse a una completa considerando la σ-álgebra de conjuntos "T" ⊆ "X" que difieren de un conjunto medible "S" en un conjunto despreciable; esto es, tal que la diferencia simétrica "T" Δ "S" está contenida en un conjunto nulo.