定义：集合A与集合A的笛卡尔积后得到的结果仍是集合A上的，如f(<a,b>) = a+b,f是2维空间的定义域到A的一个函数，则称f是A到A的2元运算。
运算与函数的关系：运算其实就是封闭的函数。
类别：二元运算符、一元运算符
特点：函数、封闭、集合运算
定义：一个非空集合A和若干个定义在该集合上的运算f1、f2、f3所组成的系统称为一个代数系统。记作<A, f1, f2, f3>。如<Z(整数集), +, ->。
示例3：集合S的幂集p(S)以及该幂集上的并、交和补运算组成一个代数系统<p(S), U, n, ~>。
相似的具有共同性质的代数系统可以统称为抽象代数系统，并不专门去研究，叫做可交换半群。
具有共同性质指的是具有交换律、结合律、幂等律、消去律。就可以将多个具体代数系统抽象出来，作为抽象代数系统而单独去研究，以后再将此抽象代数系统代入到具体的代数系统。
引用：