集合建构式符号维基百科,自由的 encyclopedia 在数学里,集合建构式符号(set-builder notation)是常用于描述集合的一种记号,这种描述集合的方式一般也称为集合抽象化(set abstraction)或set comprehension。一般写为 { x : P ( x ) } {\displaystyle \{x:P(x)\}} 或 { x ∈ S : P ( x ) } {\displaystyle \{x\in S:P(x)\}} ,分别只在于论域的不同,前者的元素恰好是那些符合谓词P的集合,而后者的元素除了符合谓词P,还得是S的元素。
在数学里,集合建构式符号(set-builder notation)是常用于描述集合的一种记号,这种描述集合的方式一般也称为集合抽象化(set abstraction)或set comprehension。一般写为 { x : P ( x ) } {\displaystyle \{x:P(x)\}} 或 { x ∈ S : P ( x ) } {\displaystyle \{x\in S:P(x)\}} ,分别只在于论域的不同,前者的元素恰好是那些符合谓词P的集合,而后者的元素除了符合谓词P,还得是S的元素。