Asocieco

Venn-diagramo pri la relativa komplementoj (\B)\C kaj \(B\C)

Asocieco estas eco de duargumenta matematika operacio. Duargumenta operacio estas asocia, se la ordo de kalkulado ne gravas se la operacio aperas pli ol unufoje en esprimo. Oni do ne bezonas krampojn, kiam oni kalkulas per unu asocia operacio. Ekzemple, (7+5)+1 = 7+(5+1), kaj oni do simple povas skribi 7+5+1.

Formala difino

Se $\times$ estas duargumenta operacio sur la aro S, ĝi estas asocia se

$(x\times y)\times z=x\times (y\times z)\forall x,y,z\in S$

Vidu ankaŭ

• Duongrupo (algebro)
• Komuteco
• Distribueco