Inverse Law

- Mathematics & Logic -
Pure Mathematics Dictionary
A law asserting that for a given element a in a set with identity e there exists an element b (called an inverse of a) such that a·b = b·a = e; typically refers to two-sided inverses but may be stated one-sidedly in weaker contexts.