Definition: Bedingte Wahrscheinlichkeitsmassenfunktion (unter einem Ereignis)

Sei ein Wahrscheinlichkeitsraum.
Seien zwei diskrete Zufallsvariablen.

Als diskrete Wahrscheinlichkeitsmassenfunktion von bedingt auf das Ereignis bezeichnen wir: