Ero sivun ”Monoidi” versioiden välillä

'''Monoidi''' on [[algebrallinen rakenne]], joka koostuu joukosta ''S'' ja sen alkioihin liittyvästä [[binäärioperaatio]]sta * (merkitään (s''S'',*)) jotka toteuttavat seuraavat ehdot:

# Suljettu: <math>\forall a, b \in GS: a*b \in GS</math>

# Assosiatiivisuus: <math>\forall a, b, c \in GS: (a*b)*c = a*(b*c)</math>

# Yksikköalkio: <math>\exists e \in GS \; \forall a \in GS : e * a = a * e = a</math>.