Es sei p : Y → X {\displaystyle {}p\colon Y\rightarrow X} eine Überlagerung zwischen den topologischen Räumen X {\displaystyle {}X} und Y {\displaystyle {}Y} . Es sei φ : Y → Y {\displaystyle {}\varphi \colon Y\rightarrow Y} eine Decktransformation. Zeige, dass zu einer Teilmenge T ⊆ X {\displaystyle {}T\subseteq X} auch φ | p − 1 ( T ) {\displaystyle {}\varphi {|}_{p^{-1}(T)}} eine Decktransformation der Überlagerung p − 1 ( T ) → T {\displaystyle {}p^{-1}(T)\rightarrow T} ist.
