Definition:Right Group Action