集合建構式符號維基百科,自由的 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的元素。