O conceito, na linguagem de programação orientada a objetos, responsável por permitir que duas ou mais
classes derivadas de uma mesma superclasse façam utilização de métodos com mesma identidade, mas
que apresentem comportamentos distintos e específicos para cada classe derivada, é denominado de: