Lemme d'unicité des mesures de probabilité
Le lemme d'unicité des mesures de probabilité est l'énoncé suivant :
Deux mesures de probabilité et définies sur un espace probabilisable qui coïncident sur un ensemble d'événements stable par intersection (finie) coïncident aussi sur la tribu engendrée par :