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.