Jabarkan Wakilan dari Aljabar Boolean (struktur)

Dapat ditunjukkan bahwa setiap aljabar Boolean hingga adalah isomorfik terhadap aljabar Boolean dari semua himpunan bagian dari himpunan hingga. Oleh karena itu, jumlah elemen dari setiap aljabar Boolean hingga adalah pangkat dua.

Stone's merayakan teorema wakilan untuk aljabar Boolean menyatakan bahwa setiap aljabar Boolean A isomorfik dengan aljabar Boolean dari semua himpunan tertutup di beberapa (kompak urutan terputus Hausdorff.