Difference (from prior major revision)
(no other diffs)
Added: 8a9,10
If e is an identity of (S, *) and a * b = e, then a is called a left inverse of b and b is called a right inverse of a. If an element x is both a left inverse and a right inverse of y, then x is called an inverse of y.