Trace (théorie des ensembles)

Modèle:Homon En mathématiques, l'intersection $X\cap A$ de deux ensembles s'appelle quelquefois « trace de $X$ sur $A$ ». Si $ℱ$ est une famille d'ensembles (ou un ensemble d'ensembles), on appelle encore « trace de $ℱ$ sur $A$ » l'ensemble ${ℱ}_A$ des traces sur $A$ des ensembles appartenant à $ℱ$ :

${ℱ}_A=\{X\cap A\mid X\in ℱ\}$.

Référence

N. Bourbaki, Théorie des ensembles, Modèle:P., Modèle:Google Livres.

Articles connexes

• Topologie induite
• Filtre induit
• Tribu trace