In mathematics, a topological ring is a ring that is also a topological space such that both the addition and the multiplication are continuous as maps where carries the product topology. This means is an additive topological group and a multiplicative topological semigroup.