如何将谓词应用于集合？
How can I apply a predicate to a set?
假设我有一套，S = { 1, 2, 3, 4 }（内容并不重要）
我可以说 forall x in set S & x mod 2 = 0 但这会给我一个布尔值答案 - 里面的所有数字都是偶数吗？如果我想查看 x mod 2 = 0 为真的集合中的所有成员怎么办？
对其应用谓词的语法是什么？如何筛选奇数、偶数、数字 above/below 3.5 等？
试试这个语法，它将 return 谓词为真的集合成员：
{x | x in set S & x mod 2 = 0}
假设我有一套，S = { 1, 2, 3, 4 }（内容并不重要）
我可以说 forall x in set S & x mod 2 = 0 但这会给我一个布尔值答案 - 里面的所有数字都是偶数吗？如果我想查看 x mod 2 = 0 为真的集合中的所有成员怎么办？
对其应用谓词的语法是什么？如何筛选奇数、偶数、数字 above/below 3.5 等？
试试这个语法，它将 return 谓词为真的集合成员：
{x | x in set S & x mod 2 = 0}