I have an implicitly defined system (say $x^2 + y^2 + z^2 - 1 = 0$). I want to find an expression that will describe the points satisfying the earlier equation when projected onto a lower dimension. For example, consider the sphere discussed earlier. When the points on it are projected onto x-y plane, they can be described as $x^2+y^2-1 \leq 0$.
Is there a general method to get the latter expression (irrespective of the number of variables)?
Many Thanks!