Canonical Finite Set

Let $n\in \mathbb{N}$ be a natural. The canonical finite set for $n$, written $[n]$ or $\mathrm{Fin}n$ , is the set of naturals strictly less than $n$.