抽象代數/群論/群/群的定義/封閉性的定義

封閉性:
如果 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 中。