# Enumerated set

We can list (or enumerate) the elements of a set:

• denotes the set containing 1, 2, and 3 (and nothing else).

You can think of this as shorthand for the set comprehension .

Sometimes we include a in an enumerated set if its meaning is clear (such as in the definition of ). This can be formalized more carefully as an inductively defined set.