notion of distance :

Is a continuous function