Expectation of product of independent random variables

If two random variables $X,Y$ have a joint distribution then they are independent if and only if the corresponding CDF's satisfy: $$F_{X,Y}(x,y)=F_X(x)F_Y(y)\tag1$$ Here $(1)$ is a necessary but also sufficient condition for:$$\mathsf P_{X,Y}=\mathsf P_X\times \mathsf P_Y$$where $\mathsf P_{X,Y}$ denotes the probability on $(\mathbb R^2,\mathcal B^2)$ induced by $(X,Y):\Omega\to\mathbb R$ and $\mathsf P_X,\mathsf P_Y$ denote the probabilities on $(\mathbb R,\mathcal B)$ induced by $X:\Omega\to\mathbb R$ and $Y:\Omega\to\mathbb R$.

Then under suitable conditions: $$\mathsf EXY=\int xydF_{X,Y}(x,y)=\int\int xydF_X(x)dF_Y(y)=\int xdF_X(x)\int ydF_Y(y)=\mathsf EX\mathsf EY$$