Observe the mapping figure:
\The set of ordered pairs are
.
Domain:
\The domain of the relation is the set of all first (
-coordinates) coordinates.
The domain of the relation is
.
Range:
\The range of the relation is the set of second (
-coordinates) coordinates..
The range of the relation is
.
Function:
\Yes;
\Because each element of the domain is paired with one element of the range.
\One -to-one function:
\Yes;
\Each element of the domain is paired with exactly one element of the range.
\Onto:
\Yes;
\Because each element of the range corresponds to an element of the domain.
\Therefore the relation is a function.
Yes; the relation is a function.