二元運算

二元運算 是應用於兩個量或表示式 和 的運算。

在非空集合 上的二元運算是一個對映 ，使得

1. 對於 中每對元素都有定義，並且

2. 將 中每對元素唯一地關聯到 的某個元素。

從 到 的二元運算的例子包括加法 (), 減法 (), 乘法 ) 和 除法 ()。