UNBOUNDED FINITE SURFACE

Definition An <UNBOUNDED FINITE SURFACE> is a <FINITE SURFACE> and an <UNBOUNDED SURFACE> if and only if: it is a <UNBOUND SURFACE>; it is a <FINITE SURFACE>