A function mapping a set ( modulo ), where is an equivalence relation in , is called a canonical map.
Canonical Map
See also
Canonical, Equivalence Relation, Reflexive SpaceThis entry contributed by Harold Sultan
Explore with Wolfram|Alpha
References
Halmos, P. R. Naive Set Theory. New York: Springer, p. 32, 1998.Referenced on Wolfram|Alpha
Canonical MapCite this as:
Sultan, Harold. "Canonical Map." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/CanonicalMap.html