リスコフの置換原則
リスコフの置換原則（りすこふのちかんげんそく、）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを と呼ぶ。
リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとの共著論文 “” で与えられた。