explain xs is plural and expand defn of set comprehension