Condition For Invertible Function Definition