\begin{definition}[Definition:Enumeration/Finite]
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 = \set {1, \ldots, n}$.
\end{definition}