[2] 時間位相複体 (topological complex) すなわち TM_TopologicalComplex は、 連結した時間に関する位相プリミティブの集合です。 >>1 5.2.4.5

[5] TM_TopologicalComplex は、 TM_Complex, TM_Object を直接または間接に継承します。

[3] 位相プリミティブは、 常に1つ以上の位相プリミティブに連結しているため、 常に位相複体に属します。 TM_Edge の場合2つの TM_Node に関連付けられているため、 TM_Edge が含まれる位相複体には最低2つの TM_Node が存在します。 >>1 5.2.4.5

[4] TM_Order による TM_TopologicalPrimitive の比較演算は、 TM_TopologicalComplex によって適当な順序関係が割り当てられていることを前提としています。