Ist nun die Gleichung m n = n m eine Definition oder ein „Lehrsatz”?
Ich glaube eine Definition. D.h. [S|s]ie erklar erklärt den Gebrauch der Zeichenverbindung m n und n m