Homomorfisme
caption: Monoid homomorfisme f


{\displaystyle f} dari monoid (N, +, 0) ke monoid (N, ×, 1) , didefinisikan dari f
(
x
)
=

2

x




{\displaystyle f(x)=2^{x}} . Ini adalah injeksi , tetapi bukan konjektur .