कुछ भाषायें उन प्रकारों की रेंज को प्रतिबंधित करने के लिए "सबटाइप" के विचार उपलब्ध कराती हैं, जिनका उपयोग पैरामीट्रिक पोलिमोर्फ़िज्मके एक विशेष मामले में किया जा सकता है। 
इन भाषाओं में, सबटाइपिंग पोलिमोर्फ़िज्म (subtyping polymorphism) (जिसे कभी कभी गतिशील पोलिमोर्फ़िज्म (dynamic polymorphism) कहा जाता है), एक विशेष प्रकार "T" के ऑब्जेक्ट को लेने के लिए एक फंक्शन को लिखने में मदद करती है, लेकिन ठीक प्रकार से कार्य भी करती है यदि प्रकार "S" से सम्बंधित ऑब्जेक्ट को पास किया जाये जो "T" का सबटाइप है (लिस्कोव प्रतिस्थापन सिद्धांत के अनुसार).
इस प्रकार के सम्बन्ध को कभी कभी "S" <: "T" के रूप में लिखा जाता है। इसके विपरीत, "T" को "S" का "सुपरटाइप" कहा जाता है और इसे "T" :> "S" के रूप में लिखा जाता है। 

उदाहरण के लिए, यदि codice_8, codice_9 और codice_10 ऐसे प्रकार हैं कि codice_8 :> codice_9 और codice_8 :> codice_10, एक codice_8 के लिए लिखा गया फंक्शन उतने ही अच्छे प्रकार से कार्य करेगा जितना कि तब जब एक codice_8 को पास करने की तरह एक codice_10 या codice_9 को पास किया जाये. 
ऑब्जेक्ट के वास्तविक प्रकार को ग्राहक से छुपा कर एक ब्लैक बॉक्स में डाला जा सकता है और यह ऑब्जेक्ट आइडेंटीटी के द्वारा उपलब्ध होता है। 

वास्तव में, यदि codice_8 का प्रकार "एबस्ट्रेक्ट" है, यह असंभव हो सकता है कि आप अपने हाथ हो उस ऑब्जेक्ट पर रख पायें जिसका "सर्वाधिक-व्युत्पन्न" प्रकार codice_8 है (देखें एबस्ट्रेक्ट डेटा प्रकार, एबस्ट्रेक्ट वर्ग).

ऑब्जेक्ट ओरियनटेड प्रोग्रामिंग भाषायें "उपवर्गों" ("इन्हेरिटेंस" भी कहलाती है) का उपयोग करते हुए सब टाइपिंग पोलिमोर्फ़िज्मपेश करती हैं। 
प्रारूपिक क्रियान्वयन में, प्रत्येक वर्ग में एक "वर्चुअल टेबल" शामिल होती है-यह फंक्शनों की एक टेबल है जो वर्ग इंटरफेस के बहुरूपी हिस्से को क्रियान्वित करती है-और प्रत्येक ऑब्जेक्ट में इसके वर्ग के "वी टेबल (vtable)" के लिए एक पोइनटर शामिल होता है, इसका उपयोग तब किया जाता है जब कभी बहुरूपी विधि का उपयोग किया जाता है। 
यह प्रणाली निम्न का एक उदाहरण है:



वही अधिकांश अन्य लोकप्रिय ऑब्जेक्ट प्रणालियों के लिए चला जाता है। कुछ, बहरहाल, जैसे CLOS "एकाधिक प्रेषण (multiple dispatch)" उपलब्ध कराते हैं, जिसके तहत विधि कॉल "सभी" तर्कों में बहुरूपी होते हैं। 

रैंक-"n" ("उच्च-रैंक") पोलिमोर्फ़िज्म
सबटाइपिंग पोलिमोर्फ़िज्म (या इनक्लूजन बहुरूपता) (Subtyping polymorphism (or inclusion polymorphism))
रैंक- "k" पोलिमोर्फ़िज्म
उदाहरण