The definition can be adapted also to a field K with a valuationv taking values in an arbitrary ordered abelian group: (K,v) is spherically complete if every collection of balls that is totally ordered by inclusion has a nonempty intersection.

Spherically complete fields are important in nonarchimedeanfunctional analysis, since many results analogous to theorems of classical functional analysis require the base field to be spherically complete.