Uninterpreted function
description: Type of function in mathematical logic