|
|
| Line 1: |
Line 1: |
| − | 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|cardinality]] of the power set being <math>2^{|X|}</math>) | + | The power set of a a mighty set that fights against all that approachs it |
| − | | + | |
| − | | + | |
| − | 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>
| + | |
| − | | + | |
| − | {{Definition}}
| + | |
Revision as of 07:43, 23 August 2015
The power set of a a mighty set that fights against all that approachs it
