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.
→ inverse; → axiom.