ion::::群的子集的乘积.在随后的讨论中，我们将使用在"G"的子集上的二元运算：如果给出"G"的两个子集"S"和"T"，我们定义它们的乘积为"ST" = { "st" : "s"∈"S"并且"t"∈"T" }。这个运算是符合结合律的并有单位元为单元素集合{"e"}，这里的"e"是"G"的单位元。因此，"G"的所有子集的集合形成了在这个运算下的幺半群。凭借这个运算我们可以首先解释商群是什么，并接着解释正规子群是什么：它完全由包含"e"的子集所确定。"G"的正规子群是在任何这种划分中包含"e"的集