MONOID

Sistem aljabar  (S, *) merupakan monoid, jika

1.  Himpunan S tertutup di bawah operasi * .

2.  Operasi * bersifat asosiatif.

3.  Pada S terdapat elemen identitas untuk operasi * .

Contoh

(Z,+) merupakan sebuah monoid dengan elemen identitas penjumlahan .   

Jika operasi biner pada monoid (S,*) tersebut bersifat komutatif, maka monoid (S,*) disebut juga monoid abel.

Contoh

Sistem aljabar (Z,+) merupakan sebuah monoid abel.