No contexto de programação orientada a objetos, o conceito que permite que um método herdado de uma superclasse seja redefinido em uma subclasse, mantendo a mesma assinatura e tipo de retorno, mas com um comportamento mais específico é conhecido como