Ein Ringhomomorphismus

${\displaystyle (R,{\mathfrak {m}})\longrightarrow (S,{\mathfrak {n}})}$

zwischen lokalen Ringen heißt lokal, wenn ${\displaystyle {}\varphi ({\mathfrak {m}})\subseteq {\mathfrak {n}}}$ gilt.