合抽象化（）或。一般写为formula_1或formula_2，分别只在于论域的不同，前者的元素恰好是那些符合谓词"P"的集合，而后者的元素除了符合谓词"P"，还得是"S"的元素。
范例：三角形数的集合.以三角形数的集合为例。三角形数有一个规则，它是正整数的和。下面的每一个等式给出了三角形数集合T的一个元素：于是我们归纳出一个规则（即公式）：这个规则可代表集合T中的元素。于是，集合T可以简写为：在上面的简单范例中，我们将一个繁复的集合表示法，透过一个简单的规则，重新