Si "M" y "N" son "R" - módulos, entonces una función "f": "M" → "N" es un homomorfismo de "R" - módulos si, para cualquier "m", "n" en "M" y "r", "s" en "R",