Définition :
Soit $\rm E$ un ensemble.
Une variable aléatoire discrète définie sur $\Omega$ est une application $\rm X$ de $\Omega$ dans $\rm E$.
Définition :
Soit $\rm X:\Omega\to E$ variable aléatoire discrète.
La loi de $\rm X$ est l'application $\rm P_X : \mathcal{P}(X(\Omega))\to [0 ~;1]$ telle que pour tout $\rm A\in \mathcal{P}(X(\Omega))$, $\rm P_X(A)=P(X\in A)$ avec $\mathrm {(X\in A)}=\{w\in \Omega/ \mathrm X(w)\in A\}.$
La loi $\rm P_X$ définit une probabilité.
Définitions :
Soient $\rm X$ et $\rm Y$ deux variables aléatoires discrètes définies sur $(\Omega)$ à valeurs respectivement dans les ensembles $\rm E$ et $\rm F$.
Le couple de variables aléatoires $\rm Z=(X,Y):\Omega \to E\times F$ vérifie pour tout $w\in \Omega$, $\mathrm Z(w)=(\mathrm X(w),\mathrm Y(w))$.
La loi conjointe des variables aléatoires $\rm X$ et $\rm Y$ est la loi du couple $\rm Z=(X,Y)$.
Les lois des deux variables aléatoires $\rm X$ et $\rm Y$ sont les lois marginales de la variable $\rm Z$.
Définition :
Soit $x\in \rm X(\Omega)$.
La loi conditionnelle de $Y$ sachant $\mathrm X=x$ est la loi de la variable aléatoire $Y$ pour la probabilité conditionnelle $\mathrm{P(\cdot|X}=x)$ : pour tout $\rm B\subset Y(\Omega)$,
$\mathrm{P(Y\in B|X}= x)= \left\{\begin{array}{ll}\frac{\mathrm{P((Y\in B),(X} = x))}{\mathrm{P(X}=x)} \text{ si } \mathrm{P(X}=x)>0 \\
0 \text{ sinon } \end{array}\right.$