↓これの続き cut-elimination.hatenablog.com を順序集合とする。 の要素 を任意にとったとき、集合 の上限 と下限 が存在する場合、 は束(そく)であるという。 を 、 を と書くことが多い。 と を持つことを明示するために束 を と書くこともある。 前に出…

↓これの続き cut-elimination.hatenablog.com 河野真太郎『増補 戦う姫、働く少女』 増補 戦う姫、働く少女 (ちくま文庫) 作者:河野真太郎 筑摩書房 Amazon 前回はアナ雪論がアナ雪論になっていないと述べたが、今回は補足として一箇所引用する。 こちら。 …