The inverse of specialization is usually called generalization .
Specialization defines a transitive relationship between object classes.
Thus, if object class is a direct specialization of object class , and is a direct specialization of object class , then is a transitive specialization of . The specialization object classes form directed acyclic graphs. A specialization class inherits all the attributes of its superclass . If an attribute A is explicitly defined in both and superclass , then the local definition in overrides the inherited property in superclass . If an attribute B is defined in both and then B must be defined locally in and override the definitions of B from and .