Rng homomorphism
A rng homomorphism is a morphism in Category of rngs,
that is to say a structure-preserving map between rngs. ring
Let
π ( π + π ) = π ( π ) + π ( π ) π ( π π ) = π ( π ) π ( π )
that is to say