まず、階付き集合として、
- $`G_0`$ : 頂点の集合
- $`G_1`$ : 有向辺の集合
- $`G_2`$ : 有向二角形的多角形の集合
集合の要素を 0-セル、1-セル、2-セルと呼ぶ。各k-セルには次を付ける〈attach | add〉ことができる。
- ID 一意 (XML id)
- ニックネームラベル 任意個数(HTML name)
- 分類タグ〈classification tag〉(HTML class)
- 付加〈misc〉属性 その他の情報
頂点の種類は、
- ルート 一意必須
- スロット 任意個数、任意出現位置
- その他
ナビゲーション構造は、頂点集合から頂点集合への非決定性写像。