LEMA: Si $\mathcal{A}$ es una álgebra que es cerrada bajo uniones arbitrarias contables disjuntas (dos a dos) entonces $\mathcal{A}$ es una $\sigma-$álgebra.
DEMOSTRACIÓN: