描述法

set-builder notation A method of describing a set by specifying a property that its members must satisfy, in the form $\{x | P(x)\}$.

CSCA 数学考试术语