Monoid
caption: Struktur aljabar antara magma dan grup . Monoid adalah semigrop dengan identitas.
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}} . Fungsi tersebut adalah injeksi , bukan konjektur .