二元运算

二元运算 是应用于两个量或表达式 和 的运算。

在非空集合 上的二元运算是一个映射 ，使得

1. 对于 中每对元素都有定义，并且

2. 将 中每对元素唯一地关联到 的某个元素。

从 到 的二元运算的例子包括加法 (), 减法 (), 乘法 ) 和 除法 ()。