分支。二元运算：加法formula_21的概念被抽象化成了一种"二元运算"，称之为*。对于在集合formula_22内的两个元素formula_9和formula_24会给出集合内的另一个元素（技术上，此条件称之为封闭性）。加法formula_21、减法formula_26、乘法formula_27和除法formula_28都是二元运算，且矩阵、向量及多项式等之加法和乘法也是二元运算。单位元素：零和一两个数被抽象化成单位元素的概念。零是加法的单位元素而一则是乘法的单位元素。对于一任意的二元运算*，单