set-theory Definition Power Set A power set is a set of all subsets of a set and defined as: Examples Let . Then Each function is the indicator function of a unique subset , so and are in bijection.