Definition:Left Identity