Es sei f {\displaystyle {}f} ein zweistelliges Funktionssymbol und x , y , z {\displaystyle {}x,y,z} Variablen. Formuliere das Assoziativgesetz (für f {\displaystyle {}f} ) als eine Allaussage mit Hilfe der Identität von zwei Termen.
