En specialisering af en klasse A betegner en ny klasse B hvor

• Instanserne af B er en delmængde af instanserne af A
• B-instanserne har alle specielle egenskaber i forhold til andre A-instanser
• Operationerne fra klassen A er også anvendelige på instanser af klassen B
• Nogle af A operationerne er tilpassset de særlige egenskaber, som karakteriser klassen B