Definition:Inverse (Bounded Linear Operator)