Mediales Gesetz

Eine binäre Operation * auf einer Menge erfüllt das mediale (oder entropische) Gesetz, wenn für alle a,b,c,d gilt: (a*b)*(c*d) = (a*c)*(b*d). Diese Identität erzwingt eine paarweise Vertauschbarkeit bei Doppelprodukten und ist zentral in der Strukturtheorie medialer Quasigruppen und Halbringe.