Vererbung

Erlaubt es, neue Strukturen oder Klassen unter Bezug auf bereits vorhandene Strukturen oder Klassen zu definieren.

Eine Klasse besitzt entweder keine oder genau eine direkte Basisklasse.

Eine Klasse besitzt keine, eine oder mehrere direkte Basisklassen.

Ein Exemplar einer abgeleiteten Klasse muss jederzeit an die Stelle eines Exemplars der Basisklasse treten können. Der abgeleitete Typ entspricht also dem Basistyp und fügt etwas hinzu. Wesentliche Eigenschaften des Basistyps dürfen jedoch nicht geändert werden

• Vererbung in der Wikipedia