Observe the mapping:
\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;
\Each element of the domain is paired with one element of the range.
\One -to-one function.
\No;
\Each element of the domain is not paired with exactly one unique element of the range.
\The value and
in the domain is paired with
in the range.
Onto:
\Yes;
\Because each element of the range corresponds to an element of the domain.
\The relation is a function.
\No, relation is a not an one-to-one function.
\Yes, relation is an onto function.