Exercice 4, § 5

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

Théorie des ensembles, I, p. 49

Soient $R$ et $S$ des relations de $\mathscr{T}$ , $x$ une lettre qui n’est pas une constante de $\mathscr{T}$ . Si $R$ est fonctionnelle en $x$ dans $\mathscr{T}$ , et si $R\leftrightarrow S$ est un théorème de $\mathscr{T}$ , $S$ est fonctionnelle en $x$ dans $\mathscr{T}$ .