hyperconvex en · ADJ
Etymology
From hyper- + convex.
Meanings
-
(not-comparable) Of a metric space: injective.
Furthermore, we deduce a local to global theorem for injective (or hyperconvex) metric spaces, saying that under certain conditions a complete, simply-connected, locally injective metric space is injective.
2015, Benjamin Miesch, “The Cartan-Hadamard Theorem for Metric Spaces with Local Bicombings”, in arXiv: