カントール集合
とおくことで得る。カントール集合は積 formula_6 に同相であるから、カントール集合から formula_7 の上への連続全単射 が存在する。 と の合成 はカントール集合を単位正方形全体の上へと写す連続関数である。（あるいは、任意のコンパクト距離空間はカントール集合の連続像であるという定理を用いて関数 を得ることもできる。）