量化系統

變數 中實代數方程和不等式的量化系統是一個表示式

其中 是一個量詞（ 或 ），並且 是 中實代數方程和不等式的系統。根據 塔斯基定理，實代數方程和不等式的量化系統的解集是一個半代數集。