Äquivalenzrelation/Kanonische Projektion/Definition

Kanonische Projektion

Es sei  $R\subseteq M\times M$  eine Äquivalenzrelation und $M/R$ die Quotientenmenge. Die Abbildung

$q_R:M⟶M/R,x⟼[x],$

heißt kanonische Projektion von $R$.