Power series rings Topological and ordered rings mathematics