Update index.md

Author: kokhayas

docs/4-advanced/03-typescript/index.md

@@ -390,6 +390,13 @@ Vite は、標準で TypeScript のトランスパイラが内蔵されていま
    ```
 
 3. `(v: unknown) => string` と `(v: string) => never`
+  制約条件の集合と、解空間の集合に着目します。
+制約条件の集合を考えた時、unknown型という制約条件はstring型という制約条件の部分集合です。初めに、制約条件AとBからなる集合を考えましょう。制約条件の集合{A}は制約条件の集合{A, B}の部分集合です。制約条件の空集合{φ}は制約条件の集合{A}の部分集合です。
+次に、解空間の集合を考えましょう。解空間の集合{(a, b) | a in A, b in B } は、解空間の集合{a| a in A}の部分集合です。{φ|}は{a | a in A}の部分集合です。
+  このように、制約条件と解空間の集合を区別して考える必要があります。
+  制約条件の集合を考えた場合、制約条件の空集合であるunknown型はstring型の部分集合です。
+  解空間の集合を考えた場合、空集合であるnever型はstring型の部分集合です。
+  
 
    ```typescript
    declare const a: (v: unknown) => string;