In mathematics, a topological algebra A {\displaystyle A} is an algebra and at the same time a topological space, where the algebraic and the topological structures are coherent in a specified sense.