function even(n) = mod(n, 2) == 0; % test the function by applying it to the first ten positive integers: % {even(n) : n in [1:11]};