Petunjuk U.157.1.

Lingkungan \(\infty\) mempunyai komplemen berhingga. Setiap titik \(d\in D\) terisolasi. Kontinuitas ke \(\{0,1\}\) memaksa fungsi berbeda dari nilainya di \(\infty\) hanya pada berhingga banyak titik; karena domain kompak, topologi kompak-terbuka sama dengan topologi seragam diskret.
in-context