Spesso i concetti vengono rappresentati in modo gerarchico
ES: il messaggio "pagamentoCC" è proprio di una categoria più ampia, quella dei Negozianti.
Le proprietà ed i comportamenti di una categoria di oggetti vengono ereditate dalle sotto-categorie
In presenza di ereditarietà tutti i metodi delle superclassi vengono ereditati dalle sottoclassi.
Il tipo determinato dalla sottoclasse è un sottotipo del tipo determinato dalla superclasse
La relazione sottoclasse / superclasse definisce una relazione di tipo "è un".
Ogni oggetto della sottoclasse è un oggetto della superclasse
Sintassi per dichiarare una classe ereditata:
class Quadrato extends Rettangolo{
//...
}
E' organizzata ad albero:
Ogni classe estende al più una classe (la sua superclasse diretta)