Tribu-trace

$(\mathrm{\Omega },ℬ)$

désignant un espace mesurable et

${\mathrm{\Omega }}^{\prime }$

une partie de

$\mathrm{\Omega }$

, l'ensemble

$\{A\cap {\mathrm{\Omega }}^{\prime }\mid A\in ℬ\}$

est appelé la tribu-trace (ou trace) de

$ℬ$

sur

${\mathrm{\Omega }}^{\prime }$

.