타입은 집합이다타입스크립트의 모든 타입들은 집합으로써 서로 포함하고 포함되는 관계를 갖는다.그리고 이런 관계에서 Number 타입처럼 다른 타입을 포함하는 타입을 **슈퍼 타입(부모 타입)**이라고 부릅니다. 반대는 **서브 타입(자식 타입)**이라고 한다.1. 타입 호환성A와 B 두개의 타입이 존재할 때 A 타입의 값을 B 타입으로 취급해도 괜찮은지 판단하는 것을 의미한다. 만약 A 타입의 값이 B 타입의 값으로 취급 되어도 괜찮다면 호환된다고 하고 안된다면 호환되지 않는다고 함.따라서 타입스크립트에서는 이렇게 슈퍼타입의 값을 서브타입의 값으로 취급하는것을 허용하지 않는다.ex)// 가능let num1: number = 10;let num2: 10 = 10;num1 = num2;// 불가능let num..