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