は、数の四則演算（加減乗除）などの 「二つの数から新たな数を決定する規則」 を一般化した概念である。、乗法とも。
定義 を集合、 を写像とする。 が次の条件、
を満たすとき、 は「 上の二項演算」と定義される。このとき を「 の」、 を「 と の積」あるいは「 と の結合」と呼ぶ。
表記
結合の表記 結合 は中置記法に則って とも表記される。混乱のおそれの無い場合、 とも略記される。
諸概念 1つまたは複数の二項演算に結合律、可換律あるいは分配律などといった条件が成立するかどうかを考えることで、二項演算やそれらの関係を分類することができる。
台集合 とその上の二項演算 がなす組 をマグマという。マグマが持つ二項演算に課せられた条件に基づいて半群や環、アーベル群など、様々な代数的構造が見いだされる。
A × A 上の写像 g が A 上の二項演算を与えるとき、A は g について閉じているあるいは は において閉じているという。 の任意の二つの対象から、第三の対象を与える「二項演算」の手続きのみが与えられていて、その手続きの値域がふたたび に含まれるかどうか（第三の対象が の対象となるか）が問題となるとき、この演算が閉じているかどうかを検討することが求められる。 そのような例として、ある集合 がより大きな集合 の部分集合であって、 が特定の代数的構造を備えた代数系であるとき、 が の部分代数系となること（すなわち、 の各演算を に制限した演算を考えるとき 自身が同じ代数的構造を持つこと）は、各演算が において閉じていることが必要十分である。
外部二項演算 ベクトル空間におけるベクトルのスカラー倍のようなものを二項演算と考える流儀もある。一般に、集合 A, B に対し、B の A への作用、つまり
の形で与えられる写像 μ を外部二項演算と呼んで二項演算の仲間に入れることがある。このとき、元の意味での二項演算を内部二項演算と呼んで区別する。外部二項演算 μ が与えられたとき、適当な写像
を用いると、B の各元 b において A 上の作用素、つまり
を満たす A 上の単項演算
が得られるので、外部二項演算 μ を A 上の単項演算の族 {αb}b∈B と見なすことができる。これは、これらの単項演算が A の内部での演算になっているので、代数系の構造論を考える立場からは自然な見方である。なお一般の場合として、集合 A, B, C に対し 2 変数の写像
を形式にこだわらずに二項演算とか積などと呼ぶ場合もある。この立場では例えばベクトルの内積などが二項演算の仲間に含まれる。
脚注
注記
出典
参考文献
関連項目 マグマ 算法 代数的構造