LOOP
Definition
An object is a <LOOP> if and only if: it is an <ARCWISE CONNECTED SPACE>; there exists a <MANIFOLD FACE> such that: each point within the <LOOP> lies on the boundary; for any point within the <MANIFOLD FACE>, there exists a <MANIFOLD LOOP> that is within the <MANIFOLD FACE> and that lies between the point within the <MANIFOLD FACE> and the boundary