What is the definition of a ring homomorphism from <i> R </i> to <i> S </i>?