{ : }
{ | } 集合构造记号 {x : P(x)} 表示所有满足 P(x) 的 x 的集合。
{x | P(x)} 和 {x : P(x)} 的意义相同。 {n ∈ N : n2 < 20} = {0,1,2,3,4}
满足…的集合
集合论
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。