Фильтр подобен карте, для которой переданная функция всегда является «характеристической функцией», то есть функцией, которая возвращает либо «да», либо «нет» на вопрос «это здесь относится?»
Другими словами, представьте, что множество определено как {x | х & изин; X и P (x) }. Фильтр принимает базовый набор, проверяет, является ли P (x) истиной, и возвращает только те элементы, для которых он истинен.
Итак, { x | x - натуральное число, и нечетное ( x )} - {1,3,5,7 ...}.
A map применяет произвольную функцию, так что вы можете думать об этом как о наборе, подобном {y | x & isin; X и y = f (x) }.
Итак, { у | x - натуральное число, а y = x & sup2; } - {1,4,9,16, ...}.