**Proper space** is the a complete space such that any bounded subset is totally bounded, 
 - or equivalently, in which any bounded sequence contains a converging subsequence, 
 - or equivalently, any bounded closed set is compact,
 - or equivalently, the distance function from one (and therefore any) point is proper; the latter means that invese image of any compact set is compact.