Een
binaire operatie over een
verzameling S wordt
associatief genoemd, indien voor alle en
uit geldt:
In de
wiskunde is associativiteit een eigenschap van een
binaire operatie. Het betekent dat, wanneer binnen een
operatie, waarin twee of meer associatieve
operatoren achter elkaar voorkomen, de volgorde, waarin de operatie wordt uitgevoerd, wordt niet van belang is, onder de voorwaarde dat de volgorde van de
operanden niet verandert. Dat betekent in de praktijk dat het verplaatsen van haakjes in een expressie de uitkomst van de
expressie niet verandert. Beschouw nu twee voorbeelden van binaire associatieve operaties: het
optellen en het
vermenigvuldigen van
natuurlijke getallen.