Trace (théorie des ensembles)

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

${\mathcal {F}}_{A}=\{X\cap A\mid X\in {\mathcal {F}}\}$.

Référence

N. Bourbaki, Théorie des ensembles, p. II.27, aperçu sur Google Livres.

Articles connexes

• Topologie induite
• Filtre induit
• Tribu trace