Когда метод считается переопределённым (overriding)?

Метод считается переопределённым, когда в дочернем классе объявляется метод с той же сигнатурой (имя метода, количество и типы параметров в том же порядке), что и метод в родительском классе. При этом:

1. Метод в родительском классе не должен быть объявлен как final (или эквивалентным модификатором в других языках), запрещающим переопределение.
2. Уровень доступа переопределённого метода в дочернем классе не может быть более ограничивающим, чем у метода в родительском классе.
3. Переопределённый метод может возвращать тот же тип, что и метод в родительском классе, или ковариантный тип (подтип оригинального типа).
4. Переопределённый метод не может выбрасывать исключения, которые являются более общими (или несовместимыми), чем исключения, объявленны