自出版物を出版物 0 と呼ぶ。$`T_k`$ を種類が $`k`$（$`k = \text{term}`$ とか）のトークン空間だとして、Dを出版物 0 が依存する出版物集合として、インポート関係を次のようだとする。$`\text{isImportedFrom}_{k, 0} :T_{k, 0} \to \sum_{d\in D}T_{k, …

$`a`$ が、ツリー（順序無しでもよい）上で定義されたプロパティのとき、その[+ツリー継承拡張] $`a^\downarrow`$ は次のように定義される。$`a^\downarrow(x) := \text{if }(a(x) = \bot \land \mathrm{parent}(x) \not= \bot) \text{ then } a(\mathrm{par…