Definition: Power Set

The power set of a set is the collection of all subsets of .