En el caso general —incluyendo álgebras infinitas—, un álgebra de Boole es siempre isomorfa a una subálgebra de un conjunto potencia.