Dada una función formula_15 donde formula_16 es un espacio de medida, siempre puede construirse una σ-álgebra 
 formula_17 tal q la función "f" es una función medible entre los espacios formula_18 y formula_16, esto se logra definiendo formula_20 como la colección de subconjuntos definida por:

 Si "f" es una función medible entre esos dos conjuntos, entonces la σ-álgebra del conjunto antiimagen contendrá a la σ-álgebra mínima anterior. 

 Existencia de σ-álgebras máximas. 
 Dada una función formula_15 donde formula_18 es un espacio de medida, siempre existe una σ-álgebra máxima
 formula_23 tal q si "f" es una función medible entre los espacios formula_18 y formula_16, entonces la σ-álgebra sobre el conjunto imagen contiene a la siguiente sigma álgebra:
 Referencias. 
 1. Strichartz, Robert (2000).
Dada una función formula_15 donde formula_16 es un espacio de medida, siempre puede construirse una σ-álgebra 
 formula_17 tal que la función "f" es una función medible entre los espacios formula_18 y formula_16, esto se logra definiendo formula_20 como la colección de subconjuntos definida por:

 Si "f" es una función medible entre esos dos conjuntos, entonces la σ-álgebra del conjunto antiimagen contendrá a la σ-álgebra mínima anterior. 

 Existencia de σ-álgebras máximas. 
 Dada una función formula_15 donde formula_18 es un espacio de medida, siempre existe una σ-álgebra máxima
 formula_23 tal que si "f" es una función medible entre los espacios formula_18 y formula_16, entonces la σ-álgebra sobre el conjunto imagen contiene a la siguiente sigma álgebra:
 Referencias. 
 1. Strichartz, Robert (2000).
word_spelling
wikipedia