Σ-Álgebra (Álgebra Sigma)

Una colección de subconjuntos de un conjunto dado que contiene el conjunto vacío y es cerrada por complementos y uniones contables (equivalente a intersecciones contables); provee el dominio de conjuntos considerados medibles para una medida o funciones medibles.

Una colección de subconjuntos de un conjunto base que contiene el conjunto vacío y está cerrada bajo uniones numerables y complementos (por tanto también bajo intersecciones numerables), sirviendo como dominio para la definición de medidas.

Una colección Σ de subconjuntos de un conjunto X que está cerrada por complemento y por uniones contables (equivalente: intersecciones contables), y que contiene el conjunto vacío; es el dominio sobre el que se definen medidas.