Em um sistema orientado a objetos, um método é chamado por meio de uma referência do tipo da superclasse, mas o objeto referenciado pertence a uma subclasse que redefine esse método. 
Nesse cenário, a escolha da implementação do método ocorre: