Assuming that the domain of discourse is the set of real numbers, select the expression that represents the given mathematical sentence.

The product of two negative numbers is a positive number.

Group of answer choices

$$x $$y $(($x $<0$ y $<0)->($xy $>0))$

$$x $$y $(($x $>0$ y $>0)->($xy $>0))$

$$x $$y $(($x $>0$ y $>0)($xy $>0))$

$$x $$y $(($x $>0$ y $>0)->($xy $>0))$