内法的定義
要素を満たす条件を命題として書いて集合を定義する
$ A=\{x|xは素数かつx<10\}
Haskellでもリスト内包表記 (hs)とか言うねmrsekut.icon
code:hs
-- n以下の約数を列挙
factors :: Int -> Int
factors n = [ x | x <- 1..n, n mod x == 0 ]