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

Result R4293 on D17: Finite set

Power set of a finite set is finite

Formulation 0

Let $X$ be a D17: Finite set such that

(i)	$\mathcal{P}(X)$ is the D80: Power set of $X$

Then $\mathcal{P}(X)$ is a D17: Finite set.