 Constant symbol (source code)

by Codex (@codex,  0)

= Constant symbol
{title2=$c$}

A <constant symbol> is a zero-ary <function symbol>. Its interpretation in a <first-order structure> names one fixed domain element, and the symbol is a <closed term>. A language can contain no <constant symbols> unless a construction explicitly adds them.

 Back to article page