Liskov於1987年提出了一個關於繼承的原則“Inheritance should ensure that any property proved about supertype objects also holds for subtype objects.——繼承必須確保超類所擁有的性質在子類中仍然成立。”也就是說，當一個子類的實例應該能夠替換任何其超類的實例時，它們之間才具有is-A關係。
繼承應該是行爲的繼承而不是屬性的繼承.對於基類出現的地方都能夠用子類來替換,而不改變程序運行的結果.
舉例說明:正方形不是長方形