Definizione
165
[23M]Sia \(A\) un insieme e \(\sim \) una relazione di equivalenza. Si indica con
\[ \frac A\sim \]
lo spazio quoziente, cioè l’insieme di tutte le classi di equivalenza; la proiezione canonica è la mappa \(\pi :A\to \frac A\sim \) che associa ad ogni \(x\in A\) la classe \([x]\in A/\sim \).
(Vedere il PDF per la figura)