Exercice 4, § 6

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

Théorie des ensembles, III, p. 87

Si E est un ensemble infini, l’ensemble des partitions de E est équipotent à $\mathfrak{P}(E)$ (associer à toute partition de E une partie de $E \times E$ ).