1、分类。即定义某一类概念作为现实世界中一组对象的类型；抽象了对象值和型之间的“is member of”的语义。
3、概括。即定义类型之间的一种子集联系；抽象了类型之间的“is subset of”的语义；继承性。
