Asociativnost
Iz Wikipedije, proste enciklopedije
Dvočlena operacija * na množici S je asociativna, če za vsak x, y, z 
S velja:
- (x * y) * z = x * (y * z).
Primeri asociativnih dvočlenih operacij so na primer seštevanje in množenje množic realnih števil R, kompleksnih števil C in kvadratnih matrik reda n × n, seštevanje vektorjev, presek in unija množic.
Če je M poljubna množica in S označuje množico vseh funkcij M → M, je operacija funkcionalne sestave (kompozicije) na množici S asociativna.
Množica zaprta z asociativno dvočleno operacijo se imenuje polgrupa.
