これはG/N上の演算を定めている、なぜならばGの部分集合の次の等式が成り立つからである：(aN)(bN)=a(Nb)N=a(bN)N=(ab)NN=(ab)N.ここでNが正規部分群であることを本質的に用いている。
这个运算是闭合的，因为(aN)(bN)实际上是左陪集：(aN)(bN)=a(Nb)N=a(bN)N=(ab)NN=(ab)N。