Update jci_04.md

posts/jci_04.md

@@ -229,23 +229,27 @@ true
 
 この型の存在によって Julia の型の階層関係は束をなします。
 
-また、 Juliaの型の階層関係がこの記事で今後扱っていくアルゴリズムにおいて重要な以下の性質を満たしていることが直感的にわかります。
+### 有限性条件
+
+また、 Juliaの型の階層関係はこの記事で今後扱っていくアルゴリズムにおいて重要な以下の性質を満たしています。 (多分)
+
+ここで導入しておきます。
 
 
 :::definition
 **鎖 (Chain)**
 
 集合 $L$ と $L$ 上の二項関係 $\leq$ を考える.
 
-このとき、 $P \subseteq L$ が鎖であるとは、任意の $x, y \in P$ に対して $x \leq y$ または $y \leq x$ が成り立つことをいう。
-このとき $|P|$ を鎖の長さという。
+ここで、 $P \subseteq L$ が任意の $x, y \in P$ に対して $x \leq y$ または $y \leq x$ となるとき、 $P$ を**鎖**といい、 $|P|$ を鎖の**長さ**という。
+
 :::
 
 
 :::definition
 **有限性条件**
 
-$L$ の任意の鎖の長さが有限であるとき、束 $(L, \leq)$ が有限性条件を満たすという。
+$L$ の任意の鎖について、長さが有限であるとき、束 $(L, \leq)$ が**有限性条件を満たす**という。
 :::
 
 例えば
@@ -257,7 +261,7 @@ $$
 などは鎖です. ($\text{Any} \leq \text{Number} \leq \text{Real} \leq \text{Int64}$ なので)
 
 
-今の自分の理解では Julia の型の階層構造はこれを満たしているはずです。
+今の自分の理解では Julia の型の階層構造は有限性条件を満たしているはずです。
 
 (※ 仕様を読んだり示したりしたわけではなく、そう思っているだけなのでご存じの方がいたら教えてください)