Proiezione Canonica

Sia una famiglia indicizzata di insiemi.
la funzione tale che è detta proiezione.