Identity Law

- Mathematics & Logic -
Pure Mathematics Dictionary
The statement that there exists a distinguished element e in a set with binary operation · such that for every element a, e·a = a·e = a; e is called the identity or neutral element for that operation.