Cantor’s Theorem in Set Theory

By repeatedly taking the power set $\mathcal{P}(S)$ of an infinite set $S$, Cantor’s theorem shows that these new infinities get strictly “bigger and bigger.” So there exists an infinite hierarchy of infinities in the sense that the lower infinities cannot map surjectively onto the higher infinities (but injective maps are possible).