Wiktionary
inclusion polymorphism
n. (context computer science English) (synonym of subtype polymorphism English)