set abstraction

See list comprehension.