-- topological dimension agrees with geometric dimension<br/>{geometry-#gt;forAll(geometry.dimension() = dimension())}<br/>-- basic geometric operation are preserved<br/>{complex.geometry-#gt;forAll(element-#gt;includes(geometry))}<br/>{boundary().asTP_Primitive().geometry = geometry.boundary()}<br/>-- isolated topology is codimension at least 2<br/>{coincidentSubelement.dimension() #lt; dimension() -1}<br/>-- a primitive is its own positive TP_DirectedTopo<br/>{asTP_DirectedTopo(+) = self}<br/>