Equivalence relation/Fiber of a mapping/Example
Let and be sets, and let denote a mapping. In such a situation, we always get an equivalence relation on the domain of the mapping by declaring two elements to be equivalent if they map under to the same element, that is, if holds. If the mapping is injective, then the equivalence relation defined by on is the equality. If the mapping is constant, then all elements from are equivalent under the corresponding equivalence relation.