Definition:Finite Enumeration/Notation

Notation for Finite Enumeration

A finite enumeration would usually be denoted as:

Let $X = \set {x_1, \ldots, x_n}$.