The metric space is called an ultrametric space, if its metric is an ultrametric, i.e. if
Example. The field together with any of its -adic metrics