MANIFOLD LOOP

Definition An object is a <MANIFOLD LOOP> if and only if: it is a <MANIFOLD 1D>; it is has no ends