Що в об'єктно-орієнтованому програмуванні дає змогу забезпечити динамічну поведінку об'єктів та є ключовим для реалізації поліморфізму?