EnglishEnglishFrançaisUsable. This concept is clear enough to use, but has not yet been reviewed by another trusted user.A metric space is a set XXX equipped with a metric ddd. Problems using this concept (0)No listed problems link to this concept yet.Problems using this concept (spoiler) (0)No listed problems use this concept as a spoiler yet.