Zu einem kommutativen Ring ${\displaystyle {}R}$ und einem Ringhomomorphismus

${\displaystyle \varphi \colon R\longrightarrow A}$

und einem Element ${\displaystyle {}a\in A}$ heißt der durch ${\displaystyle {}X\mapsto a}$ definierte Ringhomomorphismus

${\displaystyle R[X]\longrightarrow A}$

der Einsetzungshomomorphismus.