>>5
[y | y <- xs, y < x]

これは、数学で言うところの

｛ y | y ∈ xs で y < x ｝

という集合のこと。ただし集合でなくてリスト(重複OK, 順序あり)。