本质唯一

如果不存在其他对象满足其定义属性，则对象是唯一的。 如果唯一性仅指代底层结构，而形式可能以不影响数学内容的方式变化，则称对象是本质唯一的。 为了精确起见，正整数分解为素因数不是严格唯一的，而是本质唯一的，因为它仅在不重要的形式修改（例如因子的排列 ()）或符号更改 ()）方面是唯一的。 同样，2 阶群本质上是唯一的——尽管有证据表明加法群 和乘法群 是不同的——因为它们是同构群，仅在赋予其元素及其运算的名称上有所不同。