Definition:Distributive Operation/Left