Uninterpreted function


Uninterpreted function is a Type of function in mathematical logic.