for R being Ring
for V being strict RightMod of R
for W being strict Submodule of V st the carrier of W = the carrier of V holds
W = V