타입스크립트의 모든 타입은 집합(Set)으로 이해할 수 있다. 특정 조건에 맞는 원소의 모임
리터럴 타입은 Number 타입에 속하는 부분집합이다.
이는 슈퍼타입, 서브타입으로 부를 수 있다.
모든 타입은 집합으로 볼 수 있다.
몇몇 누락된 타입도 있지만 슈퍼타입과 서브타입으로 본다는 것이 중요하다.
업 캐스팅은 가능하지만 다운 캐스팅은 불가능하다. 예외적인 상황이 있지만 대부분 다운 캐스팅은 불가능하다.
