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.