*Definition [#u23c941a]
A metric space is said to be finitely compact if every bouded closed subset is compact.
*Reference [#a4b65c3a]
A. Calka, ''On local isometries of finitely compact metric spaces'', Pacific J. Math. Vol.103, No.2 (1982).