Definition, synonyms and related words
Of a field: being a complete topological field whose topology is induced by a nondiscrete valuation of rank 1.