Classes are regarded as types, and specializations as subtypes
Specialization facilitates definition of new classes from existing classes on a sound conceptual basis
If a class B is a specialization of a class A then The instances of B is a subset of the instances of A Operations and variables in A are also present in B Some operations from A may be redefined in B