对称群，且每一等价类皆会对应到一个此形状的同构版本。在每一对等价类之间都存在着一个双射：第一个等价类之代表的逆元素与第二个等价类之代表复合。在整个空间的一有限自同构群里，其目为形状之对称群的目乘上此形状同构版本的数目。例如：比较拉格朗日定理 (群论)及其证明。