Misalkan \((X,\tau_X)\text{,}\) \((Y,\tau_Y)\text{,}\) dan \((Z,\tau_Z)\) merupakan ruang topologi. Misalkan \(f:(X,\tau_X)\to(Y,\tau_Y)\) suatu homeomorfisme dan \(h:(Y,\tau_Y)\to(Z,\tau_Z)\) suatu fungsi. Buktikan bahwa \(h\) kontinu jika dan hanya jika \(h\circ f\) kontinu.