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

kifejezés akárhogyan zárójelezhető, illetve akármilyen sorrendben írható fel, az eredmény mindig ugyanaz lesz.

♣

• ↓Alárendelt lap:Bizonyítás