Element with an inverse with respect to a given mathematical operation; element that can 'undo' the effect of another given element