Definition 19.1 (Deck transformations):

Let $p : \widetilde X \longrightarrow X$ be a covering projection. A deck transformation is a homeomorphism $\phi : \widetilde X \longrightarrow \widetilde X$ such that $p \circ \phi = p$, that is to say $\phi$ is a lift of $p$.