Na programação orientada a objetos, o conceito no qual duas (ou mais) classes derivadas de uma mesma superclasse possam invocar métodos com a mesma assinatura, mas com comportamentos distintos é: