Individual variable

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

object variable

A symbol of a 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.


See also Individual constant.

How to Cite This Entry:
Individual variable. S.K. Sobolev (originator), Encyclopedia of Mathematics. URL:
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098