e/Uninterpreted function

Information
has gloss	eng: An uninterpreted function is one that has no other property than its name and arity. They are often used together with equality in formal reasoning, especially using computers.
lexicalization	eng: uninterpreted function
instance of	c/Programming language topics