Definition:Two-Sided Inverse