Let R {\displaystyle {}R} and S {\displaystyle {}S} be rings. A mapping
is called a ring homomorphism, if the following properties hold: