Balanced map (source code)

= Balanced map

A map $b:M\times N\to P$ is balanced when it is additive in each variable and satisfies $b(rm,n)=b(m,rn)$.