A member of a structure which, when applied to any other element via a binary operation induces an identity mapping; more specifically, given an operation ,, an element I is
a left identity if I , x = x for any x in the structure
See Also: neutral element
Wikipedia foundation.