If H is a normal subgroup, then the set of all cosets is itself a group in a natural way.

• 如果 H 是正规子群，则所有陪集的集合自身是在自然方式下的一个群。