量化系统

变量 中实代数方程和不等式的量化系统是一个表达式

其中 是一个量词（ 或 ），并且 是 中实代数方程和不等式的系统。根据 塔斯基定理，实代数方程和不等式的量化系统的解集是一个半代数集。