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