一般グラフ構造

まず、階付き集合として、

  1. $`G_0`$ : 頂点の集合
  2. $`G_1`$ : 有向辺の集合
  3. $`G_2`$ : 有向二角形的多角形の集合

集合の要素を 0-セル、1-セル、2-セルと呼ぶ。各k-セルには次を付ける〈attach | add〉ことができる。

  1. ID 一意 (XML id)
  2. ニックネームラベル 任意個数(HTML name)
  3. 分類タグ〈classification tag〉(HTML class)
  4. 付加〈misc〉属性 その他の情報

頂点の種類は、

  1. ルート 一意必須
  2. スロット 任意個数、任意出現位置
  3. その他

ナビゲーション構造は、頂点集合から頂点集合への非決定性写像。