Topological ring (source code)

= Topological ring
{wiki}

A topological ring is a <ring> equipped with a <topology> making addition, additive inversion and multiplication <continuous functions>. An <adic topology> is obtained from powers of an <ideal>.