Left identity element