Cantor’s theorem

Let $X$ be any set and $𝒫(X)$ its power set. Then there is no bijection between $X$ and $𝒫(X)$. Moreover, the cardinality of $𝒫(X)$ is strictly greater than that of $X$; that is, .