Boolean algebra
任意の有限ブール代数はある集合の冪として表現できる。この冪集合はブール代数のアトムの集合で、ブール代数の各元はそれに属するアトムの集合（和がブール代数のその元になるもの）に対応付けられる。この冪集合表現はもっと一般に任意の完備かつアトミックなブール代数に対しても構成できる。