C08/S03翻訳 (#43)

* wip

* いったん和訳完了

* 表現修正

Author: s-taiga

GLOSSARY.md

@@ -20,6 +20,7 @@
 | closed sets | 閉集合 |
 | closure | 閉包 |
 | chapter | 章 |
+| cluster point | 集積点 |
 | codomain | 終域 |
 | coercion | 型の強制 |
 | complete lattice | 完備束 |
@@ -30,6 +31,7 @@
 | convergence | 収束 |
 | coprime | 互いに素 |
 | curly brackets | 波括弧 |
+| dense | 稠密 |
 | dependent type theory | 依存型理論 |
 | direct image | 順像 |
 | disjunction | 選言 |
@@ -48,6 +50,8 @@
 | factorial | 階乗 |
 | filter | フィルタ |
 | filter basis | フィルタ基底 |
+| first countability | 第一可算 |
+| functoriality | 関手性 |
 | Galois connection | ガロア接続 |
 | gaussian integer | ガウス整数 |
 | greatest common divisor | 最大公約数 |
@@ -79,6 +83,7 @@
 | monotone | 単調 |
 | morphism | 射 |
 | natural domain | 自然な定義域 |
+| neighborhood basic | 基本近傍 |
 | norm | ノルム |
 | number systems | 数体系 |
 | number theory | 数論 |
@@ -122,6 +127,7 @@
 | total order | 全順序 |
 | transitivity | 推移性 |
 | triangle inequality | 三角不等式 |
+| uncountable | 不可算 |
 | uniformly continuous | 一様連続 |
 | uniform space | 一様空間 |
 | union | 合併, 非交和 |