类型，是对象体征的集合，某个对象的类型就是该对象体征的集合。若干个对象的类型，就是这些对象体征的交集。
类型不是对象的组成部分，如果某一对象的体征或体征的子集符合某一类型，则称该对象为该类型的实例。对象可以同时符合多种类型。