Na Programação Orientada a Objetos, o princípio através do qual duas ou mais subclasses de uma mesma superclasse podem apresentar comportamentos (implementações) distintos para um mesmo método (mesma assinatura) denomina-se: