里氏替换原则
在物件導向的程式設計中，里氏替換原則（Liskov Substitution principle）是對子類型的特別定義。它由芭芭拉・利斯科夫（Barbara Liskov）在 1987 年在一次會議上名為「資料的抽象與層次」的演說中首先提出。里氏替換原則的內容可以描述為：
「衍生類別（子類）物件可以在程式中代替其基礎類別（超類）物件。」
以上內容並非利斯科夫的原文，而是譯自羅伯特・馬丁（Robert Martin）對原文的解讀。其原文為：

Let 
  
    
      
        q
        (x)
      
    
    {\displaystyle q (x)}
   be a property provable about objects 
  
    
      
        x
      
    
    {\displaystyle x}
   of type 
  
    
      
        T
      
    
    {\displaystyle T}
  . Then 
  
    
      
        q
        (y)
      
    
    {\displaystyle q (y)}
   should be true for objects 
  
    
      
        y
      
    
    {\displaystyle y}
   of type 
  
    
      
        S
      
    
    {\displaystyle S}
   where 
  
    
      
        S
      
    
    {\displaystyle S}
   is a subtype of 
  
    
      
        T
      
    
    {\displaystyle T}
  . 芭芭拉・利斯科夫與周以真（Jeannette Wing）在 1994 年發表論文並提出以上的 Liskov 代換原則。