В википедии определение звучит
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов
и приводятся частные случаи полиморфизма "ad hoc полиморфизм" и "параметрический полиморфизм".
На мой же взгляд куда лучше подходит определение "один интерфейс и множество реализаций", под это определение подходят перегруженные функции, наследование с виртуальными функциями и шаблоны. ИМХО, лучше, когда человек понимает что это и может объяснить своими словами, допустим на примерах в коде, чем когда он зазубрил 2 страницы текста из википедии или книжки и читает его без запинки.
