◀ ▲ ▶Branches / Set-theory / Proposition: Functions Constitute Equivalence Relations
Proposition: Functions Constitute Equivalence Relations
Let $f:A\mapsto B$ be a function. A relation "$\sim$" defined by $x\sim y:\Leftrightarrow f(x)=f(y)$ is an equivalence relation. In particular, the domain $A$ can be partitioned into the quotient set $A/_{f}$ of elements in $A$ having the same image in $B.$
Table of Contents
Proofs: 1
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
References
Bibliography
- Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994