n.
1.a function of a topological space that gives, for any two points in the space, a value equal to the distance between them
Idiom of the Day
give up the ship
to stop fighting, to stop trying or hoping to do something
"Please don`t give up the ship and quit this company. You still have a useful role to play."