Power set/Definition

The set of all subsets of a given set.