We will assume familiarity with functional notation. For example, means .
In this chapter we take a step back to ensure that everything will be “well-behaved”.
This means specifying the -values we are allowed to “plug” into a specific function (the domain) and ensuring that we get exactly one value after doing that.
In particular, cannot be undefined, nor can it take two or more different values.
A relation is a function if every element in its domain is mapped to exactly one value
The domain is the set of all possible inputs (”“-values) a function takes.
We denote the domain of a function by
We define a function by specifying its rule and by giving a description of its domain.
Example
The function is defined by
This means that we can write it as plug in values like (as long as lies within the domain), and the domain of is given by