Assoziativität/Zweistellige Verknüpfung/Formal/Aufgabe

Es sei ${}f$ ein zweistelliges Funktionssymbol und ${}x,y,z$ Variablen. Formuliere das Assoziativgesetz (für ${}f$ )

als eine Allaussage mit Hilfe der Identität von zwei Termen.