What is the meaning of Power_set?

The set whose elements comprise all the subsets of S (including the empty set and S itself).

Source: wiktionary.org