UNBOUNDED FINITE CURVE

Definition An object is a <UNBOUNDED FINITE CURVE> if and only if: it is a <UNBOUNDED CURVE>; it is a <FINITE CURVE>