SOLID принцип: LSP Принцип подстановки Барбары Лисков (The Liskov Substitution Principle) объекты в программе должны быть заменяемыми на экземпляры их подтипов без изменения правильности выполнения программы.

Т.е. Если у вас есть место куда приходит класс (parent), то должна быть возможность без каких либо проблем добавляться и его наследник.

Так же есть формулировка от Герба Саттера и Андрея Александреску: «Подкласс не должен требовать от вызывающего кода, больше чем базовый класс. И не должен предоставлять вызывающему коду, меньше чем базовый класс.»