Canonical Map

A function f mapping a set X->X/R (X modulo R), where R is an equivalence relation in X, is called a canonical map.

See also

Canonical, Equivalence Relation, Reflexive Space

This entry contributed by Harold Sultan

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

References

Halmos, P. R. Naive Set Theory. New York: Springer, p. 32, 1998.

Referenced on Wolfram|Alpha

Cite this as:

Sultan, Harold. "Canonical Map." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/CanonicalMap.html

Subject classifications