Entonces "N" es un submódulo (o "R"-submódulo, para ser más explícito) si, para cualquier "n" en "N" y cualquier "r" en "R", el producto "rn" está en "N" (o el "nr" para un módulo derecho).