Medial Magma

Medial Groupoid

Set with a binary operation which satisfies the identity (x*y)*(u*v) = (x*u)*(y*v).