relation for which each element of the domain corresponds to exactly
one element of the range. For example, is
a function because each number x in the domain has only
one possible square root. On the other hand, is
not a function because there are two possible values for any positive
value of x.
Vertical line test