Sea ∼ una relación de equivalencia en un conjunto X y sea ν : X → X/ ∼ la suprayección canónica.