Definition 17.2:

A covering projection $p: {\tilde X}\longrightarrow X$ with path connected $X$ and ${\tilde X}$ is said to be regular if it satisfies one of the equivalent conditions stated in theorem (15.4).