View source for Individual variable

''object variable''

A symbol of a [[Formal language|formal language]] used to denote an arbitrary element (individual) in the structure described by this language. Every formal language contains one or several types of individual variables, there being an infinite set of variables of each type. For example, the language of the theory of vector spaces contains two types of individual variables, namely for vectors and for scalars, while the language of arithmetic contains one type, namely for the non-negative integers.



====Comments====
See also [[Individual constant|Individual constant]].