サブタイピング

サブタイプ多相（subtype polymorphism）やインクルージョン多相（inclusion polymorphism）とも

上位型をその下位型の数々で代替できるようにする

オブジェクト指向の多態性はこれを指すことが多い