En matemática, una formula_1-álgebra (léase "sigma-álgebra") sobre un conjunto formula_2 es una familia formula_3 no vacía de subconjuntos de formula_2, cerrada bajo complementos, uniones e intersecciones contables.