Algebraic Topology
《Algebraic Topology》 · 第 70—71 页 · Proposition 1.39 前
A path-connected covering is normal, also called regular, when for every point of the base and every pair of its lifts there is a deck transformation taking one lift to the other.