Suponha a ocorrência de uma especialização de Conta Comum representada em Conta Especial (herança) que contenha um atributo próprio chamado Limite. É possível que para uma operação de saque especial seja redefinido o método saque da superclasse implementando-o de forma diferente (considerando o Limite) sem que, entretanto, seja modificada a sua assinatura. Na OO esta especificação faz menção específica ao conceito de