Complete rings, completion Topological and ordered rings mathematics