Exercice 5, Annexe 0

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

Théorie des ensembles, I, p. 50

Soient $A$ un assemblage d’une théorie $\mathscr{T}$ , $T$ un terme de $\mathscr{T}$ , $x$ une lettre. Si $(T\mid x)A$ est un terme (resp. une relation), $A$ est un terme (resp. une relation). (Utiliser l’exerc. 4.)