Em um sistema desenvolvido segundo os princípios da programação orientada a objetos, uma variável é definida como sendo do tipo de uma classebase, mas pode referenciar objetos pertencentes a diferentes classes derivadas. Quando um mesmo método é invocado e cada objeto executa sua própria implementação, está sendo aplicado o conceito de: