Definition:Ring Monomorphism