power set noun1 •The set whose elements comprise all the subsets of S (including the empty set and S itself).Theorem 4.1. A complete Boolean algebra B has a set of (complete and atomic) ca-free generators iff B is isomorphic to the power set of a power set. — 2013 formspower sets