子群的定义证明方法1.定义证明即证明,运算在非空子集上满足封闭性,有幺元,子集中的每个元素均可逆2.定理证明定理