集合建構式符號 在數學裡集合建構式符號setbuilder notation是常用于描述集合的一種記號這種描述集合的方式一般也稱為集合抽象化set abstraction或set comprehension一般寫為  x  P  x   displaystyle xPx 或  x  S  P  x   displaystyle xin SPx 分別只在於論域的不同前者的元素恰好是那些符合謂詞P的集合而後者的元素除了符合謂詞P還得是S的元素