n (mathematics) A function between metric spaces (or on a single metric space) having the property that the distance between two images is equal to the distance between their pre-images.