extends 키워드에서 서브타입과 슈퍼타입 관한 질문입니다.

안녕하세요.
Pick 유틸리티에서 직접 구현하는 부분 중 extends 키워드에서 혼돈이 생겨 질문드립니다.

// 슈퍼 타입
type A = {
  name: string,
  age: number,
}

// 서브 타입
type B = {
  name: string,
  age: number,
  color: string
}

type make<T, K extends keyof T> = {
  [key in K]: T[key]
}

const testMake: make<B, 'name' | 'age'> = {
  name: '',
  age: 1,
}

위에 예시처럼 type A는 슈퍼타입이고 type B는 서브타입으로 알고 있습니다.

'name' | 'age' extends 'name' | 'age' | 'color'

extends 키워드의 경우 좌항이 우항 값을 포함하는지를 묻는 것인데 여기서 좌항이 서브타입이고 우항이 슈퍼타입이 된다는 것에서 혼돈이 생겼습니다.

type 별칭에서 A, B의 관계와 extends 키워드에서 좌항과 우항의 관계가 다른지 궁금합니다.
질문 끝으로 좋은 강의 만들어주셔서 감사합니다.

type Obj = { a: string; b: stirng; c: string; }

type Union = a | b | c