在具有某个运算的集M中,任意两个元素通过这个运算仍得到M中的一个确定元素,称这个运算为M的一个“代数运算”。例如,数的加法和乘法都是正整数集的代数运算;但减法和除法都不是正整数集的代数运算,因3-5及3÷5的结果都不是正整数。