View source for Equivalence relation induced by a function

{{Stub page|grade=B|msg=Something weird happened with [[every surjective map gives rise to an equivalence relation]] this page is what it SHOULD be. I also have a reference, granted not that strong of one}}
{{Requires references|grade=A|msg=Homework assignment isn't sufficient}}
__TOC__
==Statement==
Let {{M|X}} and {{M|Y}} be [[sets]] and let {{M|f:X\rightarrow Y}} be any [[mapping]] between them. Then {{M|f}} induces an [[equivalence relation]], {{M|\sim\subseteq X\times X}} where<ref>[[File:MondTop2016ex1.pdf]]</ref>:
* for {{M|x_1,x_2\in X}} we say {{M|x_1\sim x_2}} if {{M|1=f(x_1)=f(x_2)}}
Note that {{M|f}} may be [[factor (function)|factored]] through the [[canonical projection of an equivalence relation]] to yield an injection. Furthermore if {{M|f}} is [[surjective]], then so is the induced map, and then the induced map is a bijection.
* See: [[factoring through the projection of an equivalence relation generated by a map yields an injection and if the map is surjective then the factored map is surjective also and is thus a bijection]]
==Proof==
{{Requires proof|grade=D|easy=true|msg=Easy proof, marked as such. Just gotta show it's an [[equivalence relation]]}}
==See also==
* [[factoring through the projection of an equivalence relation generated by a map yields an injection and if the map is surjective then the factored map is surjective also and is thus a bijection]]
{{Todo|Link to continuous version}}
==References==
<references/>
{{Relations navbox|plain}}
{{Definition|Elementary Set Theory|Set Theory}}