En topologie et à plein d'autres endroits, on parle dans la littérature anglophone de "quotient map". C'est l'appellation pour la projection (surjective et continue) qui envoie un espace topologique E sur l'espace quotient E/~ où ~ est une relation d'équivalence.
Je voulais juste savoir quelle est l'appellation française ?
-----