# Does Reduce give complete and necessary conditions?

I want to obtain a solution for a system of five inequalities. For instance,

Reduce[A*B + C + D > 0 && A > 0 && A + B > 1 && A*B > 2 && C > 0 &&
D < 1, {A, B}]


Typing this into Mathematica, I obtain the following output:

C > 0 && ((D <= -2 - C && A > 0 &&
B > (-C - D)/A) || (-2 - C < D < 1 && A > 0 && B > 2/A))


Then my friend asked me this question: is this solution a necessary and sufficient condition for fulfilling the inequalities given above?

• FYI: C and D are reserved Symbols and should not be used like this; in fact it is better to avoid starting any user Symbols with capital letters. – Mr.Wizard May 19 '15 at 3:08

Yes, it is documented that the result of Reduce[expr, vars] always describes exactly the same mathematical set as expr, i.e. the result of the reduction is equivalent to the original system.
In[1]:= s1 = c > 0 && ((d <= -2 - c && a > 0 && b > (-c - d)/a) ||