日本語修正

posts/jci_04.md

@@ -229,9 +229,9 @@ true
 :::definition
 **高さ**
 
-最小元 $\bot$ が存在する半順序集合 $(L, \leq)$ の元 $x$ に対して $[0, \bot]$ の鎖の長さの最大値を $x$ の **高さ** という。
+最小元 $\bot$ が存在する半順序集合 $(L, \leq)$ の元 $x$ に対して、 $[ \bot, x ] \subseteq L$ の鎖の長さの最大値を $x$ の**高さ**という。
 
-さらに、高さの最大値を **Lの高さ** という。
+さらに、 $L$ の元の高さの最大値を **Lの高さ** という。
 
 :::
 
@@ -243,7 +243,7 @@ $$
 
 などは鎖で、長さは 3 です。
 
-また、論理関数の例で書いたは、その高さは 2 です。
+また、先ほど挙げた論理関数全体の集合がなす束の高さは 2 です。
 
 
 今の自分の理解では Julia の型の階層構造の高さは有限です。