Definition:Enumeration/Finite
Jump to navigation
Jump to search
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 = \set {1, \ldots, n}$.
Notation
A finite enumeration would usually be denoted as:
- Let $X = \set {x_1, \ldots, x_n}$.