Ley Medial

Una operación binaria * en un conjunto satisface la ley medial (o entrópica) si para todos los elementos a,b,c,d se cumple (a*b)*(c*d) = (a*c)*(b*d). Esta identidad impone una intercambiabilidad por pares en productos dobles y es central en la teoría estructural de cuasigrupos y semigrupos mediales.