抽象代数/群论/群/群的定义/封闭性的定义

封闭性:
如果 a，b 在群 G 中，则 a*b 在 G 中

封闭性的定义

设 G 为一个具有二元运算 $\ast$ 的群

$\forall \;a,b\in G:a\ast b\in G$

用法

1. 如果 a，b 在 G 中，则 a $\ast$ b 在 G 中。

注意

1. G 必须是一个群
2. a 和 b 都必须是 G 的元素。
3. $\ast$ 必须是 G 的二元运算
4. 反之不一定成立
   1. a $\ast$ b 在 G 中并不意味着 a 或 b 必须在 G 中。