Grazie al polimorfismo e all’ereditarietà, due oggetti possono avere relazioni di tipo “is a” (l’oggetto è un’istanza di una classe/ due oggetti sono uguali) e “has a” (l’oggetto “contiene” un altro oggetto).