ドキュメントツリーのノードの種類〈kind〉を次のようにする。
- アイテムノード（IDを持つノード）
- セクションノード
- ブロックノード
- インラインノード
- フラグメントノード
- その他、アイテム以外のノード
ラベル空間はIDも含むラベルの集合だから、ident:Item→Label という写像がある。Item 
ident(Item)。Labelのなかで、 単値ラベルの集合がある。それをSVLabelとする。refl:SVLabel→Item も写像になる。 refl:Label→Item は写像ではない。
- ident:Item→Label 写像
- refl:Label→Item 関係
- point = refl :SVLabel→Item 部分写像
- refl†:Item→Label 反転関係
- point†:Item→SVLabel 反転関係
