 Non-Archimedean valuation

A non-Archimedean valuation satisfies the strong triangle inequalityIn multiplicative absolute-value notation this becomes $|x+y|\le \max \{|x|,|y|\}$.