离散数学 子代数 定义 已知 代数 $\left( A,\sum \right)$ 子集 $B\subset A$ $B$ 对基调 $\sum$ 也封闭 则 $\left( B,\sum \right)$ 是 $\left( A,\sum \right)$ 的子代数 真子代数 平凡子代数 := 代数本身 真子代数 := $B$ 只能是 $A$ 的真子集