Let us denote by the set of all mappings . We then see that is a mapping . In other words, pulls back the set where is defined on from to . This is illustrated in the below diagram.
For any set , .
Suppose we have maps
between sets . Then
If is a bijection, then is a bijection and
|Date of creation||2013-03-22 13:50:04|
|Last modified on||2013-03-22 13:50:04|
|Last modified by||matte (1858)|