積位相
n 個の 1 次元ユークリッド空間 R から作られる直積空間 R は、n 次元ユークリッド空間 R に等しい。(ただし、ユークリッド空間の位相は通常の位相である。)
カントール集合は離散空間 {0, 1} の可算個のコピーの積に同相であり、無理数全体からなる集合は自然数全体からなる集合(再び各コピーは離散位相を持っている)の可算個のコピーの積に同相である。