Usando esta definición, podemos generalizar a módulos no enteros.