polimorfismo universale di inclusione:

a)  uso di   variabili polimorfe:  possono riferirsi ad oggetti di tipi diversi (all'interno di una gerarchia)

b)  chiamate  polimorfe : il codice chiamato può cambiare anche se ha lo stesso nome:
la decisione  viene presa a tempo di esecuzione a seconda della classe più stretta di appartenenza dell'oggetto rispetto a cui viene fatta la chiamata  (collegamento dinamico)