集合构建式记法
jí hé gòu jiàn shì jì fǎ
集合构建式记法通过陈述元素必须满足的性质或条件来描述一个集合，写作 {x | 条件} 或 {x : 条件}。
Formula
\{x \mid \text{condition on } x\}
Definition
集合构建式记法是通过写出一条所有成员都遵循的规则，来描述一组数的方法。它使用花括号 $\{ \}$ 和一条竖线 $\mid$（或冒号）表示"使得"，形式为 $\{\text{variable} \mid \text{condition}\}$；它可以精确地描述解集，而不必列出每一个元素，对于简单的不等式，它与区间表示法等价，但由于可以描述更复杂的条件，它更加灵活。严格地说，$\{x \in D \mid P(x)\}$ 定义了定义域 $D$ 中满足谓词 $P$ 的所有元素构成的集合；在公理化集合论（ZFC）中，分离公理模式保证了当 $P$ 是一阶公式时该集合存在，而这种记法也可以推广到索引族 $\{f(x) \mid x \in D\}$，用来定义一个函数的值域（像）。
Example
$\{x \mid x > 5\}$ 读作"所有满足 $x$ 大于 $5$ 的 $x$ 组成的集合"，即所有比 $5$ 大的数。$\{x \mid -3 \le x < 7\}$ 等价于区间表示法中的 $[-3, 7)$，而 $\{x \mid x^2 < 4 \text{ and } x > 0\} = \{x \mid 0 < x < 2\} = (0, 2)$ 展示了它如何处理更复杂的条件。$\{n \in \mathbb{Z} \mid n^2 - 5n + 6 = 0\} = \{2, 3\}$，而 $\{(x, y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1\}$ 定义了单位圆。
Key Insight
集合构建式记法就像给一个俱乐部制定入会规则：任何符合规则的数都能加入。罗素悖论，即"所有不包含自身的集合"所构成的集合，表明不加限制的集合概括原则会导致矛盾；ZFC 中的分离公理把集合构建式记法限制在某个已有集合的子集范围内，从而解决了这一悖论。