FINITE CURVE

Definition An object is a <FINITE CURVE> if and only if: it is a <CURVE>; it has a finite arc length