定義介紹冪集代數(algebra of power sets)一種特殊的布爾代數，指集合X的冪集f <X)(即X的所有子集構成的集合)關於集合的並、交與補運算構成的布爾代數，即<P(X>,U,自，一，必,X>.它的子布爾代數稱為X的子集代數或X上的集合代數，或稱集合域.當一X一，‘時，冪集代數的論域中含有2個元素，並且曰為零元，X為單位元.
