里氏替換原則

里氏替換原則（英文：Liskov substitution principle）係有關物件導向編程嘅一條原則；根據里氏替換原則，一位編程員用 OOP 寫程式嗰陣，應該要達到－

設 $\phi (x)$ 做一個可以對屬類型 ${\text{T}}$ 嘅物件 $x$ 證明嘅特性；噉設 ${\text{S}}$ 係 ${\text{T}}$ 嘅子類型，如果 $y$ 屬 ${\text{S}}$，噉 $\phi (y)$ 應該要係真；

用日常用語講，里氏替換原則意思係指「是但攞一件屬超類別嘅物件，件物件理應要有可能俾件屬子類別嘅物件取代，取代咗之後個程式起碼仲行到（未至於會輕機）」。喺廿一世紀初，里氏替換原則廣受採用，不過都唔係完全冇爭議性。