Power set
From Maths
Revision as of 19:05, 27 February 2015 by Alec (Talk | contribs) (Alec moved page Power Set to Power set without leaving a redirect)
The power set of a set [math]X[/math] is denoted by [math]\mathcal{P}(X)[/math], sometimes [math]2^X[/math] (a number to the power of a set is not defined (as it cannot be usefully defined) leaving it free to be used as notation. This comes from the cardinality of the power set being [math]2^{|X|}[/math])
The characteristic property of the power set is that [math]\forall U\subset X:U\in\mathcal{P}(X)[/math]
It is the set of all subsets of [math]X[/math]
