O polimorfismo em Programação Orientada a Objetos permite que o código seja escrito de forma genérica, operando sobre tipos de superclasses, enquanto invoca o comportamento específico de subclasses no tempo de execução. Isso é comumente alcançado pela sobrescrita de métodos (method overriding), onde uma subclasse fornece uma implementação específica para um método já definido em sua superclasse. Qual é a condição necessária em Java para que um método de uma subclasse sobrescreva (override) um método de uma superclasse?