En un orientado al objeto lenguaje de programación, la habilidad de redefinir una rutina en una clase derivada (una clase que había hereda sus estructuras de datos y rutinas de otra clase).