Suponga que "R" y "S" son anillos, y ρ : "R" → "S" es un homomorfismo de anillo.