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