Definition:Distributive Operation/Right