Выбор четных элементов - способ ограничения выбора элементов во множестве, сводящийся к предъявлению к согласованию всех элементов, имеющих четный порядковый номер во множестве.
Запись соответствия "Выбор четных элементов" в символьной форме: odd(N). N - порядковый номер параметра в функции.