Toda colección de subconjuntos de X cerrada bajo uniones, intersecciones o complementos se llama un álgebra.