Para a utilização de polimorfismo na programação orientada a objetos, o conceito que permite a escolha, em tempo de execução do programa, da implementação do método a ser invocado é denominado ligação: