Completeness

By the uniformity of a topological ring we mean the uniformity of its additive group. Unless specified otherwise, we consider a topological ring to be a uniform space with this uniformity.