Μονοειδές

Το µονοειδές είναι ίσως η απλούστερη αλγεβρική δοµή µε ενδιαφέρουσες ιδιότητες.

Ένα ζεύγος (X,*), όπου «*» είναι µια πράξη επί ενός συνόλου X καλείται µονοειδές, αν:

1. Η πράξη «*» είναι προσεταιριστική.

2. Υπάρχει ουδέτερο στοιχείο e για την πράξη «*» επί του X.

Το µονοειδές (X,*) καλείται µεταθετικό µονοειδές, αν η πράξη «*» είναι µεταθετική.