Um dos mecanismos fundamentais na programação orientada a objetos é o conceito de redefinição, que ocorre quando um método, cuja assinatura já tenha sido especificada, recebe uma nova definição em uma classe derivada.
A linguagem de programação orientada a objetos deve suportar o conceito de ligação tardia (late binding), visto que a definição do método que é candidato a ser efetivamente invocado só ocorre durante a execução do programa.
O mecanismo de redefinição, juntamente com o conceito de ligação tardia, é a chave para a utilização adequada de