Asumsi bahwa \(Z\) tidak terhubung tepat berarti bahwa \(Z\) mempunyai pemisahan. Jadi terdapat \(U,V\) yang terbuka dalam topologi subruang pada \(Z\text{,}\) keduanya takkosong, dengan \(U\cap V=\emptyset\) serta \(U\cup V=Z\text{.}\) Sifat-sifat inilah yang akan ditarik kembali melalui \(g\text{.}\)