数据抽象中，分类方法抽象了对象值和类型之间的（）语义；聚集方法抽象了对象类型和成分类型之间的（）语义；概括方法抽象了类型之间的（）语义，也称为（）语义。