A quantified system of real algebraic equations and inequalities in variables 
is an expression
 |
where 
is a quantifier (
or 
) and 
is a system of real algebraic equations and inequalities in
. By Tarski's
theorem, the solution set of a quantified system of real algebraic equations
and inequalities is a semialgebraic set.
