Este principio, desarrollado principalmente por Barbara Liskov, reza lo siguiente:
Ver más…Debe ser posible utilizar cualquier objeto instancia de una subclase en lugar de cualquier objeto instancia de su superclase sin que la semántica del programa escrito en los términos de la superclase se vea afectado