A topological field is a field $F$ that is a topological ring and also whose inverse maps $F\times F^\times\to F$ for both binary operations are also continuous.
Wikidata ID: Q10260753