ormula_46是单射），对于formula_42的不同选取，此作用仅差个自然的同构。若formula_44的作用是传递的，则称formula_4为正则覆叠。万有覆叠必正则，反之则不然。按照纤维丛的观点，覆叠空间正是离散纤维的纤维丛，正则覆叠对应到主丛。