An Etymological Dictionary of Astronomy and Astrophysics

A basic rule in → group theory stating that for any element a of a group there is an element a^-1 such that a * a^-1 =
a^-1 * a = e.

See also: → inverse; → axiom.