集合建構式符號

在數學裏 ， 集合建構式符號  是常用於描述集合的一種記號 ， 這種描述集合的方式一般也稱爲集合抽象化  或 。 一般寫爲或 ， 分別只在於論域的不同 ， 前者的元素恰好是那些符合謂詞P的集合 ， 而後者的元素除了符合謂詞P ， 還得是S的元素 。