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