Exercice 7, § 6

Étiquette 03J5, permanente. À citer comme [Bourbaki, Tag 03J5].

Théorie des ensembles, II, p. 52

Soient E et F deux ensembles, R une relation d'équivalence dans F, f une application de E dans F. Si S est la relation d'équivalence image réciproque de R par f, et A = f\langle E \rangle, définir une bijection canonique de E/S sur A/R_A.