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: