Interchange law

See also: premonoidal category, monoidal category.