Mecanismo fundamental na programação orientada a objetos, que permite definir funcionalidades que operem genericamente com objetos, abstraindo-se de seus detalhes particulares quando esses não forem necessários. Seu uso se dá quando duas ou mais classes derivadas de uma mesma superclasse podem invocar métodos de mesma assinatura, mas comportamentos distintos.