Nas linguagens de programação orientadas a objetos, a característica na qual os mesmos atributos ou métodos podem ser utilizados por objetos distintos e com implementações de lógica diferentes é denominado: