Metric induced by a norm (source code)

= Metric induced by a norm

In a <vector space>, a <metric> may be induced from a norm by using <subtraction>:
$$
d(x, y) = |x - y|
$$