If S is a subring of the ring R, then the map f : S -> R, f(a) = a is a morphism, the so-called inclusion map. It is usually convenient to view the inclusion of rings as a morphism in this way.