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