Definition:R-Algebraic Structure Isomorphism