Axiom of power set in the context of "Power set"

In mathematics, the power set (or powerset) of a set S is the set of all subsets of S, including the empty set and S itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. The powerset of S is variously denoted as P(S), 𝒫(S), P(S), ${\displaystyle \mathbb {P} (S)}$, or 2.Any subset of P(S) is called a family of sets over S.