From CS2800 wiki
We can list (or enumerate) the elements of a set:
You can think of this as shorthand for the set comprehension .
Sometimes we include a inductively defined set.in an enumerated set if its meaning is clear (such as in the definition of ). This can be formalized more carefully as an