の形で与えられる写像 μ を外部二項演算と呼んで二項演算の仲間に入れることがある。