Si ("R", "m") y ("S", "n") son anillos locales entonces un homomorfismo de anillos locales desde "R" a "S" es un homomorfismo de anillos "f" : "R" → "S" con la propiedad "f"("m")⊆"n".