De hecho, un álgebra de Boole finita es siempre isomorfa al álgebra de Boole del conjunto potencia de algún conjunto finito.