Obsérvese que la desigualdad $X(\omega) \le Y(\omega)$ para todos $\omega$ implica una relación entre eventos. En particular, dejar que $x$ sea un número real cualquiera, supongamos que el valor de $Y$ en $\omega$ no supera $x$ :
$$\omega\in Y^{-1}(x) = \{\omega\,|\,Y(\omega)\le x\}$$
Las desigualdades $X(\omega) \le Y(\omega) \le x$ implica $\omega\in X^{-1}(x) = \{\omega\,|\,X(\omega)\le x\}.$ Por definición de $\subset$ Esto ha demostrado
$$Y^{-1}(x) \subset X^{-1}(x),$$
porque cada elemento del conjunto de la izquierda está en el conjunto de la derecha.
Los axiomas de la probabilidad implican que la probabilidad de un subconjunto de un evento no puede ser mayor que la probabilidad del propio evento, por lo que
$$F_Y(x) = \Pr(Y^{-1}(x)) \le \Pr(X^{-1}(x)) = F_X(x).$$
Las igualdades son las propias definiciones de las funciones de distribución $F_Y$ y $F_X$ .
Esta cadena de implicaciones es reversible. Podemos concluir
$X(\omega) \le Y(\omega)$ para todos $\omega$ equivale a $F_Y(x) \le F_X(x)$ para todos los números reales $x$ .