圆柱形部分

实代数方程和不等式系统中关于变量 的圆柱形部分是项

			(1)
			(2)
			(3)
			(4)

其中 '' 是 '', '', 或 '' 之一，且 和 是 或 关于变量 的代数表达式，对于所有满足

			(5)
			(6)
			(7)
			(8)

有限个不相交的圆柱形部分的合取称为柱形代数分解。