The power set of a set S is the set of all subsets of S, i.e.
In literature, you may also find P(S) denoted by Pow(S) or by 2S