Definition:Left Self-Distributive Operation