{ : }

{ : }

{ | } 集合构造记号{x : P(x)} 表示所有满足 P(x) 的 x 的集合。

{x | P(x)} 和 {x : P(x)} 的意义相同。 {n ∈ N : n2 < 20} = {0,1,2,3,4}

满足…的集合

集合论