Wiktionary
left identity
n. (context algebra English) An element of a structure, which produces an identity mapping when applied on the left.