Em se tratando de orientação a objetos, a característica relacionada à possibilidade de que métodos da classe pai sejam implementados de formas distintas em cada classe filha é conhecida como