Definition:Algebraic Structure over Ring