Dans un langage orienté objet programmation, la possibilité de redéfinir une routine dans une classe dérivée (une classe héritée de ses structures de données et les routines d'une autre classe).