désignant un espace mesurable et une partie de , l'ensemble est appelé la tribu-trace (ou trace) de sur .