A definition of map
Topics
About: set
The table of contents of this article
Starting Context
- The reader knows a definition of set.
Target Context
- The reader will have a definition of map.
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
For any sets, \(S_1\) and \(S_2\), any association that makes each element of \(S_1\) (\(S_1\) is called 'the domain') correspond to an element of \(S_2\) (\(S_2\) is called 'the range')
2: Note
Some elements of the range may not be corresponded to by any element of the domain. Any element of the domain is not allowed to correspond to multiple elements of the range, although some multiple elements of the domain may correspond to the same element of the range.
