Definíció:
Az A halmazon értelmezett bináris művelet (kétváltozós művelet) asszociatív, vagy másképp átzárójelezhető, ha bármely elemek esetén
Példák:
A valós számok halmazán értelmezett összeadás és szorzás művelet
A halmazok metszet és unió művelete
A transzformációk szorzása
A logikai és illetve vagy művelet