O conceito existente na programação orientada a objetos que permite a uma variável, ou tipo de dado, denotar objetos diferentes de diversas subclasses pertencentes a uma superclasse comum dependendo da mensagem que lhes é passada é conhecido por: