No âmbito da programação orientada a objetos, por uma combinação de duas formas de relacionamento
No âmbito da programação orientada a objetos, por uma combinação de duas formas de relacionamento em herança, conhecidas por especificação e extensão, uma subclasse pode redefinir métodos para especializar o comportamento em relação ao que é oferecido pela superclasse, ou oferecer alguma implementação para métodos que a superclasse tenha declarado, mas não implementado. Comumente, esse tipo de relacionamento, decorrente dessa combinação, é denominado: