Потомок - всегда частный случай предка:
Потомок может заменить предка в любом контексте.
Наследуются все элементы класса-родителя.
Ограничения при перекрытии
1 Нельзя сужать уровень доступа
2 Нельзя расширять множество выбрасываемых проверяемых исключений
3 Тип возвращаемого результата:
для примитивных типов и void: такой же.
для ссылочных должен быть автоматически приводим к типу возвращаемого результата метода предка
2. Полиморфизм
Реализуется с помощью перекрытия:
Потомок может переопределить функциональность предка.
Инкарпсуляция
Ограничение доступа к элементам класса.
Сокрытие деталей внутренней реализации.
Цель: целостность объекта.