Definición: Una medida en un conjunto X es una aplicación formula_1, donde M es una formula_2-álgebra en X.