Cover for Modules and Injective Modules

Let R be a commutative ring with identity and M be an R-module with Spec(M) (Neq) φ. A cover of the R-submodule K of M is a subset C of Spec(M) satisfying that for any x (In) K,x (Neq) 0, there is N (In) C such that ann(x) (Subset) (N : M).