set-builder form（集合描述法/集合构造式）：用一个“条件”来描述集合中所有元素的表示法，常见格式如
\(\{x \mid \text{条件}\}\)（读作“所有满足条件的 x 的集合”）。在一些教材中也写作 \(\{x : \text{条件}\}\)。该术语主要用于数学中的集合论、离散数学与逻辑。
/ˈsɛt ˌbɪldɚ fɔrm/
Let \(A = \{x \mid x \text{ is an even number}\}\).
令 \(A = \{x \mid x \text{ 是偶数}\}\)。
Using set-builder form, we can define the solution set as \(\{x \in \mathbb{R} \mid x^2 - 3x - 4 = 0\}\), which makes the domain explicit.
用集合描述法，我们可以把解集定义为 \(\{x \in \mathbb{R} \mid x^2 - 3x - 4 = 0\}\)，从而明确变量的取值范围。
该短语由 set（集合）+ builder（构造者/构造用的）+ form（形式） 组成，直译为“用来构造集合的形式”。其核心思想是：不是逐个列举元素（如 \(\{1,2,3\}\)），而是给出“成员资格条件”来生成集合，特别适合描述无限集合或具有共同性质的元素集合。
Select Language