Let's say a metric space $X$ has property $P$ if $X$ is not isometric to any of its proper subsets. I'd like to know what this property is called in the literature and whether there's a nice characterization of spaces having this property.
What I know so far:
- Compactness implies property P, so compactness is a sufficient condition,
- The set $ \mathbb{Z}$ of integers ( with Euclidean metric) is not compact but satisfies $P$, so compactness is not necessary.
Any necessary or sufficient conditions ( weaker than compactness) are also appreciated.
Thanks in advance.