Същият като Subtyping Polymorphism – ако имаме клас А, който бива наследен от клас B, то обекти от клас B могат да бъдат използвани вместо такива от клас А.
Както и, можем вместо float да използваме int.
Става въпрос за типовете на подаваните аргументи.