Capacidade de entender uma variável como pertencendo a diferentes tipos, baseando-se na forma com que é instanciada.

Capacidade de objetos de uma superclasse assumirem a forma de diferentes subclasses.

Capacidade de uma função e os dados dentro dela serem escritos de forma genérica para diferentes tipos de dado.

Capacidade de funções com o mesmo nome, mas com parâmetros de entrada diferentes, executarem códigos distintos.