Mathematically mappings
Also known as mapping · function symbol
3 statements · 0% with external sources · numbers in brackets are citations
2 identifiers linking functional predicate across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In formal systems particularly mathematical logic, a function symbol is a non-logical symbol which represents a function or mapping on the domain of discourse, though, formally, does not need to represent anything at all. Function symbols are a basic component in formal languages to form terms. Specifically, if the symbol is a function symbol, then given any constant symbol representing an object in the language, also represents an object in the language. Similarly, if is some term in the language, is also a term. As such, the interpretation of a function symbol must be defined over the whole domain of discourse. Function symbols are a primitive notion, and are therefore not defined in terms of other, more basic concepts.