1. 타입은 집합이다.

타입은 위와 같이 계층이 있음.

타입은 부모-자식 관계가 있기 때문에 호환성을 따져야 함.

2. 타입 호환성

자식 계층의 값을 부모 계층의 값에 대입하는 것은 가능하지만,
역은 불가능하다.