No contexto da programação orientada a objetos, um princípio se baseia no conceito de que classes derivadas de uma única classe base são capazes de invocar os métodos que, embora apresentem a mesma assinatura, comportam-se de maneira diferente para cada uma das classes derivadas. Os mesmos atributos e objetos podem ser utilizados em objetos distintos, porém com implementações lógicas diferentes. Esse princípio é denominado: