finitely compact

Definition

A metric space is said to be finitely compact if every bouded closed subset is compact.

Reference

A. Calka, On local isometries of finitely compact metric spaces, Pacific J. Math. Vol.103, No.2 (1982).