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

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

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