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.