Полиморфизмом называют возможность, заключающуюся в использовании экземпляра подкласса везде, где допустимо применение экземпляра его суперкласса. А динамическое связывание гарантирует, что в результате вызова метода над объектом будут выполнены именно те инструкции, которые определены в фактическом классе данного объекта.