# Eliminate for inequalities

Say I have

a > c && c > b


What function can eliminate c to yield:

a > b


A lot like:

Eliminate[a == c && c == b, c]


but for inequalities

• I suspect Resolve is the function of choice for this. In[92]:= Resolve[Exists[c, a > c && c > b], {a, b}, Reals] Out[92]= b < a Sep 21 '16 at 18:34

Reduce[a > c && c > b, {a, b}, {c}]

Reference for this (now undocumented) form of the third argument of Solve/Reduce: Behavior of Reduce with variables as domain