一個軟件實體若是使用的是一個父類的話,那麼必定適用於其子類,並且察覺不出父類對象和子類對象的區別,也就是說,在軟件裏面,把父類都替換成它的子類,程序的行爲沒有變化,也就是說,子類型必須可以替換掉他們的父類型對象