, i.e. a set endowed with a Distance