圓柱形部分

實代數方程和不等式系統中關於變數 的圓柱形部分是項

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

其中 '' 是 '', '', 或 '' 之一，且 和 是 或 關於變數 的代數表示式，對於所有滿足

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

有限個不相交的圓柱形部分的合取稱為柱形代數分解。