抽象函数和代表不变量不取决于代表和抽象值空间的选择

我正在阅读 MIT 6.005 reading 13: Rep Invariant and Abstraction Function。他们在阅读中说：

关于抽象函数和表示不变量的一个常见混淆是，它们是由表示和抽象值空间的选择决定的，甚至仅由抽象值空间决定。如果是这种情况，它们将毫无用处，因为它们会说一些其他地方已经可用的多余内容。

我不明白这个部分

抽象函数和表示不变量不是由代表和抽象值空间的选择

谁能给我解释一下并举一些例子。