Update index.md

Author: kokhayas

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

@@ -390,13 +390,7 @@ 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;