An Etymological Dictionary of Astronomy and Astrophysics

A basic rule in → group theory stating that there exists a unit group element e, called the identity, such that
for any element a of the group a * e = e * a = a.

See also: → identity; → axiom.