在数学里，集合建构式符号（）是常用于描述集合的一种记号，这种描述集合的方式一般也称为集合抽象化（）或。一般写为formula_1或formula_2，分别只在于论域的不同，前者的元素恰好是那些符合谓词"P"的集合，而后者的元素除了符合谓词"P"，还得是"S"的元素。
范例：三角形数的集合.以三角形数的集合为例。三角形数有一个规则，它是正整数的和。下面的每一个等式给出了三角形数集合T的一个元素：于是我们归纳出一个规则（即公式）：这个规则可代表集合T中的元素。于是，集合T可