set abstraction
See
list comprehension
.