ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11721 on D2167: Binomial coefficient
F11721
Formulation 3
Let $n, m \in \mathbb{N}$ each be a D996: Natural number.
The binomial coefficient with respect to $(n, m)$ is the D996: Natural number \begin{equation} \binom{n}{m} : = \# \left\{ E \subseteq \{ 1, \ldots, n \} : |E| = m \right\} \end{equation}