ThmDex – An index of mathematical definitions, results, and conjectures.

Convention N624 on D80: Power set

Notation for power set

If $X$ is a D11: Set, we denote its D80: Power set either by $\mathcal{P}(X)$ or by $\mathcal{P} X$.