Let $\F = (F, +, \cdot )$ be a field. A topological field is a tuple $(\F , \mathcal{T} )$ , where $(F, \mathcal{T} )$ is a topological space and the field operations are continuous.
