11.11. Következmény
Asszociatív és kommutatív művelet tetszőleges sorrendje és zárójelezése
Tegyük fel, hogy adott egy S halmaz és egy rajta értelmezett, *-gal jelölt asszociatív és kommutatív kétváltozós művelet. Ekkor az
a_1 * a_2 * \dots * a_n
kifejezés akárhogyan zárójelezhető, illetve akármilyen sorrendben írható fel, az eredmény mindig ugyanaz lesz.
♣