Fungsi terhitung \(f_n:X\to[0,1]\) memisahkan titik dan menghasilkan topologi semula; metriknya \(d(x,y)=\sum2^{-n}|f_n(x)-f_n(y)|\text{.}\)