A habilidade de uma sub-classe especializar uma operação herdada redefinindo sua implementação mas não a sua especificação é conhecida na orientação a objeto, tipicamente, por