Identity

An identity for a binary operation is an element $e$ such that

$e\ast a=a\ast e=a$

for every element $a$ in the set.

If a two-sided identity exists, it is unique.

One-line intuition

The identity is the do-nothing element for the operation.