topological_semiring

A topological semiring is a semiring where addition and multiplication are continuous.

topological_ring

A topological ring is a ring where the ring operations are continuous.