◀ ▲ ▶Branches / Settheory / 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 BYSA 4.0!
 Github:

References
Bibliography
 Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994