离散数学 代数定义 基调 $\sum$ := ${运算符号^{(运算元数)} \dots}$ 🔗 代数运算定义 代数 := $\left( A,\sum \right)$ $A$ = 基集 $\sum$ = 基调 必须对基调 $A$ 封闭！！ 代数同类型 := 基调相同 = 运算符号及对应元数相同