Non-Archimedean absolute value (source code)

= Non-Archimedean absolute value
{c}
{title2=$|\cdot|$}
{wiki=Non-Archimedean_ordered_field}

A non-Archimedean absolute value satisfies the ultrametric inequality $|x+y|\leq\max(|x|,|y|)$.