A non-Archimedean valuation is a function that assigns a size or magnitude to elements of a field, satisfying a strong triangle inequality, which implies that the valuation of a sum is at most the maximum of the valuations of the summands. This property leads to the ultrametric inequality, which fundamentally alters the geometry of the field, making it a cornerstone in p-adic analysis and number theory.