In formal logic and related branches of mathematics, a functional predicate, or
function symbol, is a logical
symbol that may be applied to an object term to produce another object term. Functional predicates are also sometimes called mappings, but that term has other meanings as well.
read more >>