离散数学 代数运算定义 运算 := 二元运算 $f:S\times S \to S$ 封闭 := 集合 $S$ 对运算 $f$ 封闭 子集运算封闭 := $T \subset S$ 且 $f(T,T)\subset T$