 Deck transformation

A deck transformation of a covering $p:\tilde{X}\to X$ is a homeomorphism $g:\tilde{X}\to \tilde{X}$ satisfying $p\circ g=p$. Every double covering has a canonical nonidentity deck transformation that exchanges the two points in each fibre.