complete metric spaces and cone-ordered topological linear spaces
complete convex metric spaces
generalized metric spaces
hyperconvex metric spaces
locally compact metric spaces
locally separable metric spaces
Menger probability metric spaces
probabilistic metric spaces