通常の[/ブール半環/]である[+OR-AND半環]以外に、[+AND-OR半環]、[+OR-OR半環]と[AND-AND半環]も作れる。OR-AND半環、AND-OR半環、OR-OR半環、AND-AND半環への半環準同型写像を[+フラグ写像]と呼ぶ。行列の係数にフラグ写像を適用して作られたブール行列を[…

トークン空間は、[/トークン空間名/]で名付ける。 トークンはそれ自体で名付けられる。 ラベルトークンは[/情報アイテム/]の名前〈情報アイテムはラベルで名付けられる。〉 出版物は出版物名（パッケージ名とバージョン）で名付けられる。 書誌レコードは引…

名付けと名指しのメカニズムを整備する。トークン空間： ラベル空間 ターム空間 引用キー空間 タグ空間 接尾辞空間 型名空間 プロパティ名空間 プロパティ値空間 トークン空間名空間 行列名空間 トークン空間の関係と属性： is-alias-of 自己関係 is-shortha…