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

*：S×S>T

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

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