Uninterpreted function
Type of function in mathematical logic