抽象数据类型的定义仅取决于它的一组（），而与（）无关，即不论其内部结构如何变化，只要它的（）不变，都不影响其外部使用。