帰納的構成はよく使うが、構成（生成）された後にできる構造の話。Xが生成された集合、Aが初期集合、ciがコンストラクタだとする。これらを、(X, A, c1, ..., cn) という構造だと考える。次の記法を使う。 X0 := A X+ := X＼A 定義より、X = X0 + X+。X0の要…

computational, computationally, computable を単に「計算的」で修飾するかも知れない。 計算的圏＝計算可能圏 計算的集合＝計算的圏の対象 計算的関数＝計算的圏の射＝計算可能関数 計算的圏は、高々加算な付点集合の圏に埋め込める。さらに、高々加算集合…