Definition:Right Ideal of Ring