I ett objektorienterat programmeringsspråk, förmågan att omdefiniera en rutin i en härledd klass (en klass som ärvt sina datastrukturer och rutiner från en annan klass).