Eine Vererbungsbeziehung ist eine IST-EIN-Beziehung und zwar in dem Sinn, dass Objekte vom Typ Untertyp gleichzeitig auch Objekte vom Typ Obertyp sind. Das ist klar darin zu begründen, dass durch Vererbung ja alle Members der Mutterklasse auf die Unterklassen vererbt werden, wodurch diese alle Eigenschaften und Methoden besitzen, die die Mutterklasse auszeichnen.