Boolean algebra
と考えたものはブール代数の例を与える。一方、事実として、任意の有限ブール代数は有限集合のべき集合が作るこのブール代数によって同型的に実現することができる。