Un monoïde est un ensemble fermé sous une opération binaire associative et possédant un élément d'identité I ∈ tel que pour tout a ∈ S, Ia = aI = a. Notez que contrairement à un groupe, ses éléments n'ont pas besoin d'avoir des inverses. Il peut également être considéré comme un semi-groupe avec un élément d'identité.
