Definition:Invertible Linear Operator