Definition:Variable/Domain

From ProofWiki
Jump to: navigation, search

Definition

The collection of all possible objects that a variable may refer to has to be specified.

This collection is the domain of the variable.


Also known as

The domain of a variable is sometimes referred to imprecisely as the values of the variable, or its range of values.


Sources