二元运算

二元运算是“把两个同类对象组合成一个同类对象”的最小代数接口。只有结果仍在同一个集合中，才能继续重复组合：

这使结合律等多步表达式具有统一类型。

封闭性取决于底层集合，而不只取决于公式。减法在整数上封闭，在自然数上却可能离开集合；除法在非零有理数上处处有定义，在全部有理数上则遇到零除。改变论域会改变“同一公式”是否构成二元运算。

把运算明确写成函数还能避免量词模糊。结合律是对所有 $a,b,c\in S$ 的等式；单位元必须属于 $S$；逆元也相对于同一个运算和同一个单位元定义。若运算只部分定义，这些公理需要重新表述。

整数加法和乘法都是 $\mathbb{Z}$ 上的二元运算。加法、乘法都结合且交换；加法单位元是 $0$，乘法单位元是 $1$。这些共同性质来自具体结构，不是二元运算定义的一部分。

自然数减法不是 $\mathbb{N}$ 上的二元运算，因为 $2-3\notin \mathbb{N}$。若把论域改为整数，减法恢复封闭，却仍不结合：

在一般情况下成立。这个例子把封闭性与结合性明确分开。

在集合 $X$ 的所有自映射上，函数复合是二元运算：两个 $X\to X$ 函数复合后仍是 $X\to X$。复合满足结合律，却通常不交换。它说明许多算法只需要结合性，不需要交换性。

矩阵乘法在固定尺寸 $n\times n$ 矩阵集合上是二元运算；在“所有长方形矩阵”的无类型集合上则不是，因为只有内维匹配时才能相乘。实际线性代数通过记录矩阵尺寸，把它视为范畴中的复合，而不是一个全域内部运算。

半群公理库半群Semigroup带有结合二元运算的集合。是在二元运算上加入结合律；幺半群公理库幺半群Monoid具有双侧单位元的半群。再加入单位元；群公理库群Group配备结合二元运算、单位元，并且每个元素都有逆元的集合。进一步要求每个元素可逆。环同时组织加法与乘法两个二元运算，并用分配律连接它们。

算法中的折叠、扫描和区间聚合也依赖二元运算。若运算结合，输入可以按树形顺序组合；若还有单位元，可以自然处理空区间；若存在逆元，某些前缀结果可以相减恢复区间结果。所需代数条件应按接口逐项声明，而不是一律假设交换群。