Diese Verknüpfung ist nicht assoziativ. Um dies zu zeigen, kann man einfach

${\displaystyle {}A=B=C=M\,}$

nehmen, wobei ${\displaystyle {}M}$ eine nichtleere Menge sei. Dann ist ${\displaystyle {}M\setminus M=\emptyset }$ und somit ist einerseits

${\displaystyle {}(M\setminus M)\setminus M=\emptyset \setminus M=\emptyset \,}$

und andererseits

${\displaystyle {}M\setminus (M\setminus M)=M\setminus \emptyset =M\,.}$