Exercice 1, § 6

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

Théorie des ensembles, III, p. 87

Pour qu’un ensemble E soit infini, il faut et il suffit que, pour toute application $f$ de E dans E, il existe une partie non vide S de E telle que $S \neq E$ et $f(S) \subset S$ .