ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11720 on D2167: Binomial coefficient
F11720
Formulation 2
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} : = |\mathcal{P}_m \{ 1, \ldots, n \}| \end{equation}