상속의 이미 자체가 is-a 관계다.

기본 클래스에 적용되는 모든 것들이 파생 클래스에 그대로 적용 되어야 한다.

왜냐면 모든 파생 클래스 객체는 기본 클래스 객체의 일종이기 때문이다.