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

Question

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

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

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

Answer 1

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

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