proiezione canonica
proiezione canonica in algebra, espressione con cui si indica, se X è un insieme e se ∼ è una relazione di equivalenza su X, l’applicazione naturalmente definita π: X → X /∼ di proiezione sull’insieme quoziente: essa associa a ogni elemento di X la sua classe di equivalenza [x].