Liskov Substitution Principle Definition