term, termset, termset term
- termグラフの圏ありき。
- termツリーはtermグラフの特別なもの。
- termツリーはテキスト表現を持つ。
- 「term=termツリー」か「term=termグラフ」かは文脈次第
- termsetはtermの集合、ただしtermの普遍集合があり、その部分集合
- term空間 = termset
- termset空間 = termsetの集合 = (Pow(Term) の部分集合)
- termset代数 = termset空間に代数構造を入れたもの
- term言語 = term空間 = termset
- termset term = termsetを表現するterm
- termsetグラフ = termset termの図形的表現
- termsetツリー = termsetグラフの特別なもの
さらに：
- term = インスタンス
- termset = 型
- termset term = 型表現 ＝ 型のテキスト構文表現
- termsetグラフ = 型グラフ
- termset代数 = コゥゼン代数 = 型代数
