Definition:Distance/Sets

Also denoted as
Some sources write $\operatorname{dist}$ instead of $d$.