Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
power_set [2015/10/08 14:22] nikolaj |
power_set [2015/10/08 14:24] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
Here we define | Here we define | ||
- | $\mathcal{P}(X) := \{Y\mid Y\subseteq X\}$ | + | $\mathcal{P}(X) \equiv \{Y\mid Y\subseteq X\}$ |
and want to claim that for each $X$, we have | and want to claim that for each $X$, we have |