Difference between revisions of "Power set"
From Maths
(Created page with "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 use...") |
m |
||
| Line 4: | Line 4: | ||
The characteristic property of the power set is that <math>\forall U\subset X:U\in\mathcal{P}(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 | + | It is the set of all subsets of {{m|X}} |
| + | |||
| + | {{Definition}} | ||
Revision as of 18:13, 12 February 2015
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 [ilmath]X[/ilmath]
