Dies ist klar, da für eine kompakte Teilmenge T ⊆ Z {\displaystyle {}T\subseteq Z} das Urbild unter φ {\displaystyle {}\varphi } mit dem Urbild unter φ | φ − 1 ( Z ) {\displaystyle {}\varphi {|}_{\varphi ^{-1}(Z)}} übereinstimmt.