Term

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic object denoting an individual or constructed element of the domain of discourse, formed inductively from variables, constant symbols, and function symbols according to the grammar of the formal language.