Aljabar Boolean adalah latis \(B\) dengan unsur terbesar \(I\) dan unsur terkecil \(O\) sedemikian sehingga \(B\) bersifat distributif sekaligus berkomplemen. Himpunan kuasa dari \(X\text{,}\) yaitu \({\mathcal P}(X)\text{,}\) menjadi prototipe kita untuk aljabar Boolean. Ternyata, himpunan kuasa juga merupakan salah satu aljabar Boolean yang paling penting. Teorema berikut memungkinkan kita mencirikan aljabar Boolean melalui operasi biner \(\vee\) dan \(\wedge\) tanpa perlu menyebutkan bahwa aljabar Boolean merupakan poset.