precover (cover + pre-; before)
A generalization of a cover in which the kernal may contain a non-zero pure subgroup