El principio de sustitución de Liskov establece que las precondiciones, postcondiciones, invariantes y otras formalidades que se cumplen para una clase también se deben cumplir para sus clases derivadas. De este modo, las referencias a un tipo se pueden hacer respecto de la clase base, sin que otros módulos del...