함수형 프로그래밍
This notation is called set-builder notation (or "set comprehension", particularly in the context of Functional programming).