Definition:R-Algebraic Structure Homomorphism