for K being Ring
for M, N being LeftMod of K st M c= N holds
M c= (Omega). N