# Canonical projection of an equivalence relation

From Maths

**Stub grade: D**

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

This page is of low priority. Those looking for information should visit equivalence relation instead. It should be expanded though!

## Contents

## Definition

Let [ilmath]X[/ilmath] be a set and [ilmath]\sim\subseteq X\times X[/ilmath] an equivalence relation on [ilmath]X[/ilmath]. Then the map:

- [ilmath]\pi:X\rightarrow X/\sim[/ilmath] given by [ilmath]\pi:x\mapsto [x][/ilmath] (where [ilmath][x][/ilmath] denotes the equivalence class of [ilmath]x[/ilmath]) is a function.

We call this map the "*canonical projection of the equivalence relation*", sometimes just the "*canonical map of the equivalence relation*" for short.