Polimorfismo (griego: 'muchas formas') significa que una referencia de un tipo principal puede apuntar a objetos de diferentes subtipos, y el método correcto se selecciona en tiempo de ejecución en función del objeto real, no del tipo declarado de referencia. Esto se llama despacho dinámico (polimorfismo en tiempo de ejecución).
Polimorfismo en tiempo de ejecución en acción