G◪N 叫做“商群”，其理由来自整数的除法(➗)。在 12 除以 3 的时候得到答案4 ，是因为我们可以把 12 个“对象”重新分组为 3 个对象的 4 个子集。“商群”的涵义出于同样想法，但它是用一个“群”(Group)作为最终答案而非一个“数”，因为群要比对象的随机搜集应更具有结构性。