Individual variable
From Encyclopedia of Mathematics - Reading time: 1 min
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.
Comments[edit]
See also Individual constant.
How to Cite This Entry: Individual variable (Encyclopedia of Mathematics) | Licensed under CC BY-SA 3.0. Source: https://encyclopediaofmath.org/wiki/Individual_variable12 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF