Definition:R-Algebraic Structure Monomorphism