for K being Ring
for V being LeftMod of K holds V is Subspace of (Omega). V