Definition:Right Distributive Operation