Definition:Enumeration/Finite

Definition
Let $X$ be a finite set of cardinality $n \in \N$.

An enumeration of $X$ is a bijection $x: \N_n \to X$, where $\N_n = \left\{{1, \ldots, n}\right\}$.

It is common to define a (finite) enumeration by writing, for example:


 * Let $X = \left\{{x_1, \ldots, x_n}\right\}$ [...]