en : Liskov Substitution Principle

略 : LSP

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

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

事前条件と事後条件