\int_{-\infty}^{+\infty}{\int_u^{+\infty}{f_{X,Y}(-u, -v)dudv}} = 
\int_{-\infty}^{+\infty}{\int_u^{+\infty}{f_{X,Y}(u, v)dudv}} = \mathbb{P}(X<Y)