A definition of function
Topics
About: set
The table of contents of this article
Starting Context
- The reader knows a definition of relation.
Target Context
- The reader will have a definition of function.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Definition
Any relation, \(F\), such that for each \(\langle p_1, p_2 \rangle, \langle p_1, p_3 \rangle \in F\), \(p_2 = p_3\), which means that any element of the domain has the unique corresponding element in the range
2: Note
'map' is different from 'function' in this definition in that it has the codomain, which does not necessarily equal the range, although a map is often called "function".
