 Regular covering map

A covering is regular when its deck group acts transitively on each fibre, equivalently when its fundamental-group subgroup is normal.