Todo álgebra de sucesos A es isomorfa a un subálgebra B del álgebra booleana p(A), conjunto de las partes de los haces de sucesos de A. Si B no fuera un sigma-álgebra, existe entonces una sigma-álgebra mínima S(B) que la contiene, que es la sigma-álgebra engendrada por B. Estudiamos aquí la posibilidad de establecer una medida sobre una sigma-álgebra de modo que podamos hacer corresponder un número real no negativo a cada suceso de la misma, e introducir, de este modo, la idea de probabilidad.10 julio 2010