DIRECTED MANIFOLD LOOP

Definition A <DIRECTED MANIFOLD LOOP> is a <DIRECTED LOOP> and a <MANIFOLD LOOP> that any segment of it is a <DIRECTED MANIFOLD EDGE>