Ist nun die Gleichung m n = n m eine Definition oder ein „Lehrsatz”?
Ich glaube eine Definition. D.h. sie erklärt den Gebrauch der Zeichenverbindung m n und n m.