Es seien ${\displaystyle {}(M,*)}$ und ${\displaystyle {}(N,\circ )}$ Mengen mit Verknüpfungen und es sei

${\displaystyle \varphi \colon M\longrightarrow N}$

eine mit den Verknüpfungen verträgliche surjektive Abbildung, es gelte also

${\displaystyle {}\varphi (x*y)=\varphi (x)\circ \varphi (y)\,.}$

${\displaystyle {}M}$

${\displaystyle {}N}$