Exercice 8, § 6

Tag 03J6, permanent. Cite it as [Bourbaki, Tag 03J6].

Théorie des ensembles, II, p. 52

Soient F, G deux ensembles, R une relation d'équivalence dans F, p l'application canonique de F sur F/R, f une surjection de G sur F/R. Montrer qu'il existe un ensemble E, une surjection g de E sur F, et une surjection h de E sur G, tels que l'on ait p $\circ$ g = f $\circ$ h.