On se donne un espace probabilisé . Si est un système exhaustif (fini ou dénombrable) d'évènements, et si quel que soit , , alors pour tout évènement A :