topological field

C41930 concept

A topological field is a field equipped with a topology such that both the field operations (addition, multiplication) and taking inverses (on nonzero elements) are continuous with respect to that topology.

Instances (1)