笛卡尔运算

假设S和T分别是集合，S上的一个T值运算* 就是指笛卡尔直积 S×S 到T的一个映射，也就是映射：

*:S×S→T

按照传统的写法， 对于S中的两个元素a,b, 我们用a*b来表示这个运算。

当S=T时，我们就说这个运算是封闭的。