If I is countably infinite, 2 I {\displaystyle 2^{I}} is the Cantor space.
若 I {\displaystyle I} 是可數無限的， 2 I {\displaystyle 2^{I}} 是康托爾空間。