Definition of a function :
\A function is a special type of relation in which each element of the domain is paired with exactly one element of the range.
\The relation is
.
The domain set is
.
The range set is
. \ \
The relation is a function because each element of the domain is paired with exactly one element of the range.
\The relation is a function.