Left-identity definition

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