Jabarkan f(0) = 0, dari Aljabar Boolean (struktur)

Maka mengikuti bahwa  f (¬a) = ¬f(a) untuk semua a di A. kelas dari semua aljabar Boolean, bersama dengan gagasan morfisme ini, dalam bentuk subkategori penuh dari kekisi kategori.

Sebuah isomorfisme antara dua aljabar Boolean A dan B adalah homomorfisme f : A → B dengan homomorfisme invers, yaitu homomorfisme g : B → A sedemikian rupa sehingga komposisi g ∘ f: A → A adalah fungsi identitas pada A, dan komposisi f ∘ g: B → B adalah fungsi identitas pada B. Homomorfisme aljabar Boolean adalah isomorfisme jika dan hanya jika bijektif.