関係空間は、多関係の多圏の多ホムセットの部分集合を言う。次の形：
$`\quad (\Gamma \not\to \Sigma)`$
関係は関係空間の要素。
$`\quad \text{toc} \in (Label \not\to Id(Item))\\
\quad \text{glossary} \in (Term \not\to ShortDef)\\
\quad \text{termIndex} \in (Term \not\to Label)\\
\quad \text{idDeref} \in (Id(Item) \not\to Item \mid \text{univalent}, \text{inj})\\
\quad \text{termOcc} \in (Item \not\to Term\times {\bf N} \mid \text{function})\\
\quad \text{tableOfFigures} \in (Label \not\to Item|\text{figure} \mid \text{univalent}, \text{inj})
`$
