Definition:Left Product