Definition:Invertible Bounded Linear Transformation

Also see

 * Definition:Inverse Element, of which this is an instantiation.