抽象代数,群的定义：设G是一个非空集合,.是它的一个代数运算,如果满足以下条件：
Ⅰ.结合律成立,即对G中任意元素a、b、c都有(a o b) o C = a o (b o c);
Ⅱ.
Ⅲ.
群的封闭性隐含在哪?是“.是它的一个代数运算” 还是“Ⅰ.结合律成立,即对G中任意元素a、b、c都有(a o b) o C = a o (b o c);”