# deck transformation

Let $p\colon\thinspace E\to X$ be a covering map. A deck transformation or covering transformation is a map $D\colon\thinspace E\to E$ such that $p\circ D=p$, that is, such that the following diagram commutes.