関数型言語
This notation is called set-builder notation (or "set comprehension", particularly in the context of Functional programming).