Как я могу применить предикат к набору?

Question

Скажем, у меня есть набор, S = { 1, 2, 3, 4 } (содержание на самом деле не имеет значения)

Я могу сказать forall x in set S & x mod 2 = 0, но это даст мне логический ответ - все числа в нем четные? Что если я хочу увидеть всех членов набора, для которых x mod 2 = 0 истинно?

Каков синтаксис для применения к нему предиката? Как я могу отфильтровать нечетные числа, четные числа, числа выше / ниже 3,5 и c?

Answer 1

Попробуйте этот синтаксис, он вернет членов набора, для которого предикат истинен:

{x | x in set S & x mod 2 = 0}