Mot : espace métrique
Catégorie : LocN
Définition : Couple (X, d) où d, appelée distance, est une application symétrique de X² dans R</big>, telle que :