deck transformation


Let p:EX be a covering map. A deck transformationMathworldPlanetmath or covering transformation is a map D:EE such that pD=p, that is, such that the following diagram commutes.