Not to be confused with the interchange law.
An binary operator on a set satisfies mediality or the medial law just when the equation
holds.
The medial law is a special case of the interchange law when the two binary operations are the same. In fact, in [deep inference] the name medial is used exactly for the interchange law.