リスコフの置換原則

派生クラスは、基底クラスと置換可能でなければならない

すべての派生クラスに、基底クラスを利用するあらゆるコンポーネント間と成立している契約を満たすことを要求