Definition:Local Ring Homomorphism/Definition 2

Definition
Let $\struct {A, \mathfrak m}$ and $\struct {B, \mathfrak n}$ be commutative local rings.

Let $f : A \to B$ be a unital ring homomorphism.

The homomorphism $f$ is local the preimage $\map {f^{-1} } {\mathfrak n} \supseteq \mathfrak m$.

Also see

 * Equivalence of Definitions of Local Ring Homomorphism