A totally bounded topological ring