It's not just a mathematical problem. It causes issues in code too. See https://github.com/sympy/sympy/issues/2799. 

Why not make complement take an argument, which would be the left hand side of the set subtraction. We could make it a keyword argument with a default of reals (for Interval) for backwards compatibility.