里氏代换原则：一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，而且他察觉不出父类对象和子类对象的区别。也就是说，在软件里面，把父类都替换成他的子类，程序的行为没有变化，简单地说，子类必须能够替换掉他们的父类型。
里氏代换原则：子类型必须能够替换掉他们的父类型。
里氏代换原则使得继承复用成为了可能，只有当子类可以替换掉父类，软件单位的功能不受到影响时，父类才能真正被复用，而子类也能够在父类的基础上增加新的行为。由于子类型的可替换性是的使用父类类型的模块在无需修改的情况下就可以扩展。